Loading…
Machine Learning for Android Malware Detection Using Permission and API Calls
Peiravian, Naser, Xingquan Zhu
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
A Genetic Algorithm for Optimizing the Label Ordering in Multi-label Classifier Chains
Correa Goncalves, Eduardo, Plastino, Alexandre, Freitas, Alex A.
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem
Li, Chu-Min, Fang, Zhiwen, Xu, Ke
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
Improving Music Recommendation in Session-Based Collaborative Filtering by Using Temporal Context
Dias, Ricardo, Fonseca, Manuel J.
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
An Intelligent System for Prediction of School Dropout Risk Group in Higher Education Classroom Based on Artificial Neural Networks
Ribeiro De Carvalho Martinho, Valquiria, Nunes, Clodoaldo, Minussi, Carlos Roberto
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.11.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.11.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
Aspect-Based Twitter Sentiment Classification
Hsiang Hui Lek, Poo, Danny C. C.
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers
Ogawa, Toru, Yangyang Liu, Hasegawa, Ryuzo, Koshimura, Miyuki, Fujita, Hiroshi
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
Model Expansion in the Presence of Function Symbols Using Constraint Programming
De Cat, Broes, Bogaerts, Bart, Devriendt, Jo, Denecker, Marc
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms
Codenotti, Paolo, Katebi, Hadi, Sakallah, Karem A., Markov, Igor L.
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
A Versatile Graph-Based Approach to Package Recommendation
Interdonato, Roberto, Romeo, Salvatore, Tagarelli, Andrea, Karypis, George
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
Stability of Filter- and Wrapper-Based Feature Subset Selection
Wald, Randall, Khoshgoftaar, Taghi M., Napolitano, Amri
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
A Rule-Based Hybrid Method for Anomaly Detection in Online-Social-Network Graphs
Hassanzadeh, Reza, Nayak, Richi
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
Controller Synthesis for Safety Critical Planning
Orlandini, Andrea, Suriano, Marco, Cesta, Amedeo, Finzi, Alberto
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
A Review of Ensemble Classification for DNA Microarrays Data
Khoshgoftaar, Taghi M., Dittman, David J., Wald, Randall, Awada, Wael
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.11.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.11.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
An Axiomatic Approach for Persuasion Dialogs
Amgoud, Leila, De Saint-Cyr, Florence Dupin
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
From Natural Language Requirements to Formal Specification Using an Ontology
Sadoun, Driss, Dubois, Catherine, Ghamri-Doudane, Yacine, Grau, Brigitte
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
A Planning Tool Supporting the Deployment of Cloud Applications
Lascu, Tudor A., Mauro, Jacopo, Zavattaro, Gianluigi
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
Sampled Bayesian Network Classifiers for Class-Imbalance and Cost-Sensitive Learning
Liangxiao Jiang, Chaoqun Li, Zhihua Cai, Zhang, Harry
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
From Preferences over Arguments to Preferences over Attacks in Abstract Argumentation: A Comparative Study
Cayrol, Claudette, Lagasquie-Schiex, Marie-Christine
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article
Loading…
Learning Useful Macro-actions for Planning with N-Grams
Dulac, Adrien, Pellier, Damien, Fiorino, Humbert, Janiszek, David
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Published in Proceedings - International Conference on Tools with Artificial Intelligence, TAI (01.01.2013)
Get full text
Conference Proceeding
Journal Article