ICTAI B

150 papers

YearTitle / Authors
201325th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2013, Herndon, VA, USA, November 4-6, 2013
2013A CSP Approach for Metamodel Instantiation.
Adel Ferdjoukh, Anne-Elisabeth Baert, Annie Chateau, Remi Coletta, Clémentine Nebut
2013A Computer-Aided Spectroscopic System for Early Diagnosis of Melanoma.
Lin Li, Qizhi Zhang, Yihua Ding, Huabei Jiang, Bruce T. Thiers, James Z. Wang
2013A Constraint Programming Approach to the Additional Relay Placement Problem in Wireless Sensor Networks.
Luis Quesada, Kenneth N. Brown, Barry O'Sullivan, Lanny Sitanayah, Cormac J. Sreenan
2013A Dynamic Multiobjective Evolutionary Algorithm for Multicast Routing Problem.
Marcos L. P. Bueno, Gina M. B. Oliveira
2013A Filtering Algorithm for Constrained Clustering with Within-Cluster Sum of Dissimilarities Criterion.
Thi-Bich-Hanh Dao, Khanh-Chuong Duong, Christel Vrain
2013A Framework for Bean-Shape Contour Extraction.
Qi Li
2013A GA-Based Solution for the Combination Optimization in the Contour Formation.
Hui Wei, Hang Liu, Fuyu Tang
2013A General Privacy Loss Aggregation Framework for Distributed Constraint Reasoning.
Jimmy Ho-Man Lee, Terrence W. K. Mak, Yuxiang Shi
2013A Generic Framework for Behavior Recognition of Complex Activities in Robotics.
Kai Häussermann, Oliver Zweigle, Paul Levi
2013A Genetic Algorithm for Optimizing the Label Ordering in Multi-label Classifier Chains.
Eduardo Corrêa Gonçalves, Alexandre Plastino, Alex Alves Freitas
2013A Hybrid Tractable Class for Non-binary CSPs.
Achref El Mouelhi, Philippe Jégou, Cyril Terrioux
2013A Line-Context Based Object Recognition Method.
Hui Wei, Lei Wu
2013A Natural Language Processing and Semantic-Based System for Contract Analysis.
Dan Yang, Christina Leber, Luis Tari, Aravind Chandramouli, Andrew Crapo, Richard Messmer, Steven Gustafson
2013A Novel Combination of Reasoners for Ontology Classification.
Changlong Wang, Zhiyong Feng
2013A Parallel Algorithm for Bayesian Network Parameter Learning Based on Factor Graph.
Yue Zhao, Jungang Xu, Yunjun Gao
2013A Parallel Bottom-Up Resolution Algorithm Using Cilk.
Reza Basseda, Rezaul Alam Chowdhury
2013A Planning Tool Supporting the Deployment of Cloud Applications.
Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro
2013A Probabilistic Query Suggestion Approach without Using Query Logs.
Meher T. Shaikh, Maria Soledad Pera, Yiu-Kai Ng
2013A Reusable Methodology for the Instantiation of Social Recommender Systems.
Lara Quijano Sánchez, Juan A. Recio-García, Belén Díaz-Agudo
2013A Review of Ensemble Classification for DNA Microarrays Data.
Taghi M. Khoshgoftaar, David J. Dittman, Randall Wald, Wael Awada
2013A Rule-Based Hybrid Method for Anomaly Detection in Online-Social-Network Graphs.
Reza Hassanzadeh, Richi Nayak
2013A Shape Recognition Method Based on Graph- and Line-Contexts.
Hui Wei, Jinwen Xiao
2013A Spin-Glass Model Based Local Community Detection Method in Social Networks.
Lei Pan, Chongjun Wang, Junyuan Xie
2013A Temporal Difference GNG-Based Approach for the State Space Quantization in Reinforcement Learning Environments.
Davi Carnauba de Lima Vieira, Paulo Jorge Leitão Adeodato, Paulo M. Goncalves
2013A Versatile Graph-Based Approach to Package Recommendation.
Roberto Interdonato, Salvatore Romeo, Andrea Tagarelli, George Karypis
2013Abstract Debates.
Cosmina Croitoru
2013Accelerating One-Pass Clustering by Cluster Selection Racing.
Nicolas Labroche, Marcin Detyniecki, Thomas Bärecke
2013Active Preference Learning for Ranking Patterns.
Vladimir Dzyuba, Matthijs van Leeuwen, Siegfried Nijssen, Luc De Raedt
2013Adaptive Constructive Interval Disjunction.
Bertrand Neveu, Gilles Trombettoni
2013Adaptive and Personalised Robots - Learning from Users' Feedback.
Abir-Beatrice Karami, Karim Sehaba, Benoît Encelle
2013An Algorithm for Mining Top K Influential Community Based Evolutionary Outliers in Temporal Dataset.
Yun Hu, Junyuan Xie, Chongjun Wang, Zuojian Zhou
2013An Automatic Algorithm Selection Approach for Planning.
Mauro Vallati, Lukás Chrpa, Diane E. Kitchin
2013An Axiomatic Approach for Persuasion Dialogs.
Leila Amgoud, Florence Dupin de Saint-Cyr
2013An Empirical Study of Robustness of Network Centrality Scores in Various Networks and Conditions.
Matthew Herland, Pablo Pastran, Xingquan Zhu
2013An Intelligent Anomaly Detection and Reasoning Scheme for VM Live Migration via Cloud Data Mining.
Qiannan Zhang, Yafei Wu, Tian Huang, Yongxin Zhu
2013An Intelligent System for Prediction of School Dropout Risk Group in Higher Education Classroom Based on Artificial Neural Networks.
Valquíria Ribeiro de Carvalho Martinho, Clodoaldo Nunes, Carlos R. Minussi
2013Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT.
Van-Hau Nguyen, Miroslav N. Velev, Pedro Barahona
2013Aspect-Based Twitter Sentiment Classification.
Hsiang Hui Lek, Danny C. C. Poo
2013Assessing Procedural Knowledge in Free-Text Answers through a Hybrid Semantic Web Approach.
Eric Snow, Chadia Moghrabi, Philippe Fournier-Viger
2013Attribute Weighted Value Difference Metric.
Chaoqun Li, Liangxiao Jiang, Hongwei Li, Shasha Wang
2013Bounded Strings for Constraint Programming.
Joseph D. Scott, Pierre Flener, Justin Pearson
2013CPP-SNS: A Solution to Influence Maximization Problem under Cost Control.
Qianyi Zhan, Hongchao Yang, Chongjun Wang, Junyuan Xie
2013Capturing Structure in Hard Combinatorial Problems.
Stefan Szeider
2013Change Your Belief about Belief Change.
Éric Grégoire
2013Characterization of Extended and Simplified Intelligent Water Drop (SIWD) Approaches and Their Comparison to the Intelligent Water Drop (IWD) Approach.
Jeremy Straub, Eunjin Kim
2013Classifying Documents within Multiple Hierarchical Datasets Using Multi-task Learning.
Azad Naik, Anveshi Charuvaka, Huzefa Rangwala
2013Clustering and Selection Using Grouping Genetic Algorithms for Blockmodeling to Construct Neural Network Ensembles.
Evandro Jose Da Rocha E. Silva, Teresa Bernarda Ludermir, Leandro Maciel Almeida
2013Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem.
Chu-Min Li, Zhiwen Fang, Ke Xu
2013Comparison of Two Frameworks for Measuring the Stability of Gene-Selection Techniques on Noisy Class-Imbalanced Data.
Randall Wald, Taghi M. Khoshgoftaar, Ahmad Abu Shanab
2013Compiling Pseudo-Boolean Constraints to SAT with Order Encoding.
Naoyuki Tamura, Mutsunori Banbara, Takehide Soh
2013Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms.
Paolo Codenotti, Hadi Katebi, Karem A. Sakallah, Igor L. Markov
2013Constraint Games: Framework and Local Search Solver.
Thi-Van-Anh Nguyen, Arnaud Lallouet, Lucas Bordeaux
2013Constraint Programming in Compiler Optimization: Lessons Learned.
Peter van Beek
2013Contextual Image Segmentation Based on the Potts Model.
Nara M. Portela, George D. C. Cavalcanti, Tsang Ing Ren
2013Controller Synthesis for Safety Critical Planning.
Andrea Orlandini, Marco Suriano, Amedeo Cesta, Alberto Finzi
2013Declarative Heuristics in Constraint Satisfaction.
Erich Christian Teppan, Gerhard Friedrich
2013Design Pattern Recognition by Using Adaptive Neuro Fuzzy Inference System.
Sultan Alhusain, Simon Coupland, Robert I. John, Maria Kavanagh
2013Detecting Impolite Crawler by Using Time Series Analysis.
Zhiqian Chen, Wenya Feng
2013Developments in Partitioning XML Documents by Content and Structure Based on Combining Multiple Clusterings.
Gianni Costa, Riccardo Ortale
2013Dynamic Constraint Reasoning in Smart Environments.
Viktoriya Degeler, Alexander Lazovik
2013ESmodels: An Inference Engine of Epistemic Specifications.
Zhizheng Zhang, Kaikai Zhao, Rongcun Cui
2013Encoding Local Correspondence in Topic Models.
El Mehdi Rochd, Mohamed Quafafou, Mustapha Aznag
2013Enhancing Classification Accuracy with the Help of Feature Maximization Metric.
Jean-Charles Lamirel
2013Enhancing Dynamic Recommender Selection Using Multiple Rules for Trust and Reputation Models in MANETs.
Antesar M. Shabut, Keshav P. Dahal, Irfan Awan
2013Error Allowing Minimax: Getting over Indifference.
Florian Wisser
2013Events Extraction and Aggregation for Open Source Intelligence: From Text to Knowledge.
Laurie Serrano, Maroua Bouzid, Thierry Charnois, Stephan Brunessaux, Bruno Grilhères
2013Evolutionary Distance Metric Learning Approach to Semi-supervised Clustering with Neighbor Relations.
Ken-ichi Fukui, Satoshi Ono, Taishi Megano, Masayuki Numao
2013Expert System Simulation of Hardware.
Lawrence Leinweber, Bhanu Pratap Singh, Christos A. Papachristou
2013Explanations and Relaxations for Policy Conflicts in Physical Access Control.
Fatih Turkmen, Simon N. Foley, Barry O'Sullivan, William M. Fitzgerald, Tarik Hadzic, Stylianos Basagiannis, Menouer Boubekeur
2013Factorized Decision Trees for Active Learning in Recommender Systems.
Rasoul Karimi, Martin Wistuba, Alexandros Nanopoulos, Lars Schmidt-Thieme
2013Fast Strong Planning for FOND Problems with Multi-root Directed Acyclic Graphs.
Jicheng Fu, Andres Calderon Jaramillo, Vincent Ng, Farokh B. Bastani, I-Ling Yen
2013Finding Distinctive Shape Features for Automatic Hematoma Classification in Head CT Images from Traumatic Brain Injuries.
Tianxia Gong, Nengli Lim, Li Cheng, Hwee Kuan Lee, Bolan Su, Chew Lim Tan, Shimiao Li, C. C. Tchoyoson Lim, Boon Chuan Pang, Cheng Kiang Lee
2013Flexible Pattern Matching with Gap-Length and One-Off Conditions.
Dan Guo, Taining Xiang, Xuegang Hu, Xindong Wu
2013From Natural Language Requirements to Formal Specification Using an Ontology.
Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau
2013From Preferences over Arguments to Preferences over Attacks in Abstract Argumentation: A Comparative Study.
Claudette Cayrol, Marie-Christine Lagasquie-Schiex
2013From Robots to Reinforcement Learning.
Tongchun Du, Michael T. Cox, Don Perlis, Jared Shamwell, Tim Oates
2013Fully-Automated Instance Decomposition and Subplan Synthesis for Parallel Execution.
Amol Dattatraya Mali, Ravi Puthiyattil
2013Generating Memoryless Policies Faster Using Automatic Temporal Abstractions for Reinforcement Learning with Hidden State.
Erkin Çilden, Faruk Polat
2013Generation of Implied Constraints for Automaton-Induced Decompositions.
María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson
2013Goal-Driven Changes in Argumentation: A Theoretical Framework and a Tool.
Pierre Bisquert, Claudette Cayrol, Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex
2013HNNP - A Hybrid Neural Network Plait for Improving Image Classification with Additional Side Information.
Ruth Janning, Carlotta Schatten, Lars Schmidt-Thieme
2013How the Choice of Wrapper Learner and Performance Metric Affects Subset Evaluation.
Randall Wald, Taghi M. Khoshgoftaar, Amri Napolitano
2013Hybrid Feature Selection and Weighting Method Based on Binary Particle Swarm Optimization.
Diogo da Silva Severo, Everson Verissimo, George D. C. Cavalcanti, Tsang Ing Ren
2013ICAMF: Improved Context-Aware Matrix Factorization for Collaborative Filtering.
Jiyun Li, Pengcheng Feng, Juntao Lv
2013Imbalanced Hypergraph Partitioning and Improvements for Consensus Clustering.
John Robert Yaros, Tomasz Imielinski
2013Implementing Tabled Hypothetical Datalog.
Fernando Sáenz-Pérez
2013Improving Music Recommendation in Session-Based Collaborative Filtering by Using Temporal Context.
Ricardo Dias, Manuel J. Fonseca
2013Improving the Statistical Arbitrage Strategy in Intraday Trading by Combining Extreme Learning Machine and Support Vector Regression with Linear Regression Models.
Jarley Palmeira Nóbrega, Adriano Lorena Inácio de Oliveira
2013Information Extraction from the Web: An Ontology-Based Method Using Inductive Logic Programming.
Rinaldo Lima, Bernard Espinasse, Hilário Oliveira, Laura Pentagrossa, Fred Freitas
2013Kaczmarz Algorithm with Soft Constraints for User Interface Layout.
Noreen Jamil, Deanna Needell, Johannes Müller, Christof Lutteroth, Gerald Weber
2013Knowledge Extraction from Web Services Repositories.
Vasileios Kiouftis, Evangelos Theodoridis, Athanasios K. Tsakalidis
2013Knowledge-Guided Methodology for Specification Analysis.
Bhanu Pratap Singh, Arunprasath Shankar, Yuriy Shiyanovskii, Francis G. Wolff, Christos A. Papachristou, Daniel J. Weyer, Steve Clay, Jim Morrison
2013Lazy Branching for Constraint Satisfaction.
Deepak Mehta, Barry O'Sullivan, Lars Kotthoff, Yuri Malitsky
2013Learnability of Specific Structural Patterns of Planning Problems.
Lukás Chrpa, Mauro Vallati, Hugh Osborne
2013Learning Markov Networks with Context-Specific Independences.
Alejandro Edera, Federico Schlüter, Facundo Bromberg
2013Learning Occupancy in Single Person Offices with Mixtures of Multi-lag Markov Chains.
Carlo Manna, Damien Fay, Kenneth N. Brown, Nic Wilson
2013Learning Useful Macro-actions for Planning with N-Grams.
Adrien Dulac, Damien Pellier, Humbert Fiorino, David Janiszek
2013Machine Learning for Android Malware Detection Using Permission and API Calls.
Naser Peiravian, Xingquan Zhu
2013Markov Decision Process for Traffic Control at an Isolated Intersection.
Biao Yin, Mahjoub Dridi, Abdellah El Moudni
2013Maximizing Classification Performance for Patient Response Datasets.
David J. Dittman, Taghi M. Khoshgoftaar, Randall Wald, Amri Napolitano
2013Migration Cost-Sensitive Load Balancing for Social Networked Multiagent Systems with Communities.
Wanyuan Wang, Yichuan Jiang
2013Model Expansion in the Presence of Function Symbols Using Constraint Programming.
Broes De Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker
2013Model-Guided Approaches for MaxSAT Solving.
António Morgado, Federico Heras, João Marques-Silva
2013Modeling Natural Language Sentences into SPN Graphs.
Michael T. Mills, Adamantia Psarologou, Nikolaos G. Bourbakis
2013Modified Conversational Agent Architecture.
Tomás Nestorovic, Václav Matousek
2013Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers.
Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
2013More Smear-Based Variable Selection Heuristics for NCSPs.
Ignacio Araya, Víctor Reyes, Cristian Oreallana
2013Motion-Driven Action-Based Planning.
Brandon Ellenberger, Amol Dattatraya Mali
2013NEFCIS: Neuro-fuzzy Concept Based Inference System for Specification Mining.
Arunprasath Shankar, Bhanu Pratap Singh, Francis G. Wolff, Christos A. Papachristou
2013Network Layer-Oriented Task Allocation for Multiagent Systems in Undependable Multiplex Networks.
Yichuan Jiang, Yifeng Zhou, Yunpeng Li
2013On Delete Relaxation in Partial-Order Causal-Link Planning.
Pascal Bercher, Thomas Geier, Felix Richter, Susanne Biundo
2013On Finding Approximate Solutions of Qualitative Constraint Networks.
Jason Jingshi Li, Sanjiang Li
2013On the Development of Voter Transition Models for Social Choice Markov Decision Processes.
David García, Anton Riedl
2013On the Influence of the Number of Objectives in Evolutionary Autonomous Software Agent Testing.
Sabrine Kalboussi, Slim Bechikh, Marouane Kessentini, Lamjed Ben Said
2013On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning.
Matthias Westphal, Julien Hué, Stefan Wölfl
2013On the Relationship between PQCL Preference Formalism and Value-Based AF.
Karima Sedki
2013On-the-Fly Lazy Clause Simplification Based on Binary Resolvents.
Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
2013Ontology Learning from Incomplete Semantic Web Data by BelNet.
Man Zhu, Zhiqiang Gao, Jeff Z. Pan, Yuting Zhao, Ying Xu, Zhibin Quan
2013Optimization of Traffic Lights Timing Based on Multiple Neural Networks.
Michel B. W. De Oliveira, Areolino de Almeida Neto
2013Optimized Deep Learning Architectures with Fast Matrix Operation Kernels on Parallel Platform.
Ying Zhang, Saizheng Zhang
2013Optimizing Dynamic Ensemble Selection Procedure by Evolutionary Extreme Learning Machines and a Noise Reduction Filter.
Tiago Pessoa Ferreira de Lima, Teresa Bernarda Ludermir
2013Pairwise Optimization of Bayesian Classifiers for Multi-class Cost-Sensitive Learning.
Clément Charnay, Nicolas Lachiche, Agnès Braud
2013Part-Whole Relations as Products of Metric Spaces.
Sandro Rama Fiorini, Mara Abel
2013Particle Swarm Optimization Approach with Parameter-Wise Hill-Climbing Heuristic for Task Allocation of Workflow Applications on the Cloud.
Simone A. Ludwig
2013Perpetual Learning through Overcoming Inconsistencies.
Du Zhang
2013Predicting the Next Scenic Spot a User Will Browse on a Tourism Website Based on Markov Prediction Model.
Yifan Shi, Yimin Wen, Zhigang Fan, Yuqing Miao
2013Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification.
Lígia Maria Soares Passos, Stéphane Julia
2013Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms.
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2013Recognizing User Preferences Based on Layered Activity Recognition and First-Order Logic.
Michael Glodek, Thomas Geier, Susanne Biundo, Friedhelm Schwenker, Günther Palm
2013Rectangular Shape Detection with an Application to License Plate Detection.
Qi Li, Yongyi Gong
2013Relaxing the Relaxed Exist-Step Parallel Planning Semantics.
Tomás Balyo
2013Sampled Bayesian Network Classifiers for Class-Imbalance and Cost-Sensitive Learning.
Liangxiao Jiang, Chaoqun Li, Zhihua Cai, Harry Zhang
2013Semi-automatic Dictionary Curation for Domain-Specific Ontologies.
Ashish Kulkarni, Chetana Gavankar, Ganesh Ramakrishnan, Sriram Raghavan
2013Should the Same Learners Be Used Both within Wrapper Feature Selection and for Building Classification Models?
Randall Wald, Taghi M. Khoshgoftaar, Amri Napolitano
2013Solving E-Squaro through SAT-Coding.
Éric Grégoire, Atef Hasni, Bertrand Mazure, Cédric Piette
2013Solving WCSP by Extraction of Minimal Unsatisfiable Cores.
Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary
2013Stability of Filter- and Wrapper-Based Feature Subset Selection.
Randall Wald, Taghi M. Khoshgoftaar, Amri Napolitano
2013Study and Development of Support Tool with Blinks for Physically Handicapped Children.
Ippei Torii, Kaoruko Ohtani, Takahito Niwa, Naohiro Ishii
2013Symbolic Anomaly Detection and Assessment Using Growing Neural Gas.
Matthew Paisner, Michael T. Cox, Don Perlis
2013Symmetry-Based Pruning in Itemset Mining.
Saïd Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia
2013TM-Gen: A Topic Map Generator from Text Documents.
Ángel Luís Garrido, Maria G. Buey, Sandra Escudero, Sergio Ilarri, Eduardo Mena, Sara B. Silveira
2013Three-Valued Possibilistic Networks: Semantics & Inference.
Salem Benferhat, Jérôme Delobelle, Karim Tabia
2013Tikhonov or Lasso Regularization: Which Is Better and When.
Fei Wang, Sanjay Chawla, Wei Liu
2013Using Evolution Strategies to Reduce Emergency Services Arrival Time in Case of Accident.
Javier Barrachina, Piedad Garrido, Manuel Fogué, Francisco J. Martinez, Juan-Carlos Cano, Carlos Miguel Tavares Calafate, Pietro Manzoni
2013Using MaxSAT to Correct Errors in AES Key Schedule Images.
Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
2013Variable Objective Large Neighborhood Search: A Practical Approach to Solve Over-Constrained Problems.
Pierre Schaus
2013Visual Interpretation of Events in Petroleum Geology.
Joel Luis Carbonera, Mara Abel, Claiton M. S. Scherer, Ariane Kravczyk Bernardes
2013Visual Scenes Categorization Using a Flexible Hierarchical Mixture Model Supporting Users Ontology.
Taoufik Bdiri, Nizar Bouguila, Djemel Ziou
2013Which Users Reply to and Interact with Twitter Social Bots?
Randall Wald, Taghi M. Khoshgoftaar, Amri Napolitano, Chris Sumner