default search action
25th ICTAI 2013: Herndon, VA, USA
- 25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2013, Herndon, VA, USA, November 4-6, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-2971-9
AI Foundations
- Mauro Vallati
, Lukás Chrpa, Diane E. Kitchin
An Automatic Algorithm Selection Approach for Planning. 1-8 - Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita:
Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers. 9-17 - Lukás Chrpa, Mauro Vallati
Learnability of Specific Structural Patterns of Planning Problems. 18-23 - Ruth Janning, Carlotta Schatten, Lars Schmidt-Thieme
HNNP - A Hybrid Neural Network Plait for Improving Image Classification with Additional Side Information. 24-29 - Jason Jingshi Li, Sanjiang Li
On Finding Approximate Solutions of Qualitative Constraint Networks. 30-37 - Salem Benferhat, Jérôme Delobelle, Karim Tabia:
Three-Valued Possibilistic Networks: Semantics & Inference. 38-45 - Matthias Westphal, Julien Hué, Stefan Wölfl:
On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning. 46-54 - Sandro Rama Fiorini
Part-Whole Relations as Products of Metric Spaces. 55-62 - Jiyun Li, Pengcheng Feng, Juntao Lv:
ICAMF: Improved Context-Aware Matrix Factorization for Collaborative Filtering. 63-70 - Ying Zhang, Saizheng Zhang:
Optimized Deep Learning Architectures with Fast Matrix Operation Kernels on Parallel Platform. 71-78 - Florian Wisser:
Error Allowing Minimax: Getting over Indifference. 79-86 - Jicheng Fu, Andres Calderon Jaramillo, Vincent Ng, Farokh B. Bastani, I-Ling Yen:
Fast Strong Planning for FOND Problems with Multi-root Directed Acyclic Graphs. 87-94 - Reza Basseda, Rezaul Alam Chowdhury:
A Parallel Bottom-Up Resolution Algorithm Using Cilk. 95-100
AI in Domain-Specific Applications
- Jeremy Straub
Characterization of Extended and Simplified Intelligent Water Drop (SIWD) Approaches and Their Comparison to the Intelligent Water Drop (IWD) Approach. 101-107 - Lei Pan, Chongjun Wang, Junyuan Xie:
A Spin-Glass Model Based Local Community Detection Method in Social Networks. 108-115 - Ippei Torii, Kaoruko Ohtani, Takahito Niwa, Naohiro Ishii:
Study and Development of Support Tool with Blinks for Physically Handicapped Children. 116-122 - Zhiqian Chen, Wenya Feng:
Detecting Impolite Crawler by Using Time Series Analysis. 123-126 - Wanyuan Wang, Yichuan Jiang:
Migration Cost-Sensitive Load Balancing for Social Networked Multiagent Systems with Communities. 127-134 - Randall Wald, Taghi M. Khoshgoftaar, Amri Napolitano, Chris Sumner:
Which Users Reply to and Interact with Twitter Social Bots? 135-144 - Lin Li, Qizhi Zhang, Yihua Ding, Huabei Jiang, Bruce T. Thiers, James Z. Wang:
A Computer-Aided Spectroscopic System for Early Diagnosis of Melanoma. 145-150 - Carlo Manna
Learning Occupancy in Single Person Offices with Mixtures of Multi-lag Markov Chains. 151-158 - Valquíria Ribeiro de Carvalho Martinho, Clodoaldo Nunes, Carlos R. Minussi
An Intelligent System for Prediction of School Dropout Risk Group in Higher Education Classroom Based on Artificial Neural Networks. 159-166 - Viktoriya Degeler
Dynamic Constraint Reasoning in Smart Environments. 167-174 - Matthew Paisner, Michael T. Cox, Don Perlis:
Symbolic Anomaly Detection and Assessment Using Growing Neural Gas. 175-181 - Jarley Palmeira Nóbrega, Adriano Lorena Inácio de Oliveira
Improving the Statistical Arbitrage Strategy in Intraday Trading by Combining Extreme Learning Machine and Support Vector Regression with Linear Regression Models. 182-188 - Joel Luis Carbonera
Visual Interpretation of Events in Petroleum Geology. 189-194 - Yifan Shi, Yimin Wen, Zhigang Fan, Yuqing Miao:
Predicting the Next Scenic Spot a User Will Browse on a Tourism Website Based on Markov Prediction Model. 195-200
AI in Computer Systems
- Simone A. Ludwig:
Particle Swarm Optimization Approach with Parameter-Wise Hill-Climbing Heuristic for Task Allocation of Workflow Applications on the Cloud. 201-206 - Lawrence Leinweber, Bhanu Pratap Singh, Christos A. Papachristou
Expert System Simulation of Hardware. 207-212 - Tudor A. Lascu, Jacopo Mauro
A Planning Tool Supporting the Deployment of Cloud Applications. 213-220 - Matthew Herland, Pablo Pastran, Xingquan Zhu
An Empirical Study of Robustness of Network Centrality Scores in Various Networks and Conditions. 221-228 - Sabrine Kalboussi, Slim Bechikh
On the Influence of the Number of Objectives in Evolutionary Autonomous Software Agent Testing. 229-234 - Hui Wei, Jinwen Xiao:
A Shape Recognition Method Based on Graph- and Line-Contexts. 235-241 - Tianxia Gong, Nengli Lim, Li Cheng
Finding Distinctive Shape Features for Automatic Hematoma Classification in Head CT Images from Traumatic Brain Injuries. 242-249 - Hui Wei, Lei Wu:
A Line-Context Based Object Recognition Method. 250-255 - Nara M. Portela, George D. C. Cavalcanti, Tsang Ing Ren:
Contextual Image Segmentation Based on the Potts Model. 256-261 - Taoufik Bdiri, Nizar Bouguila, Djemel Ziou:
Visual Scenes Categorization Using a Flexible Hierarchical Mixture Model Supporting Users Ontology. 262-267 - Kai Häussermann, Oliver Zweigle, Paul Levi:
A Generic Framework for Behavior Recognition of Complex Activities in Robotics. 268-275 - Qi Li:
A Framework for Bean-Shape Contour Extraction. 276-283 - Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa:
Using MaxSAT to Correct Errors in AES Key Schedule Images. 284-291 - Hui Wei, Hang Liu, Fuyu Tang:
A GA-Based Solution for the Combination Optimization in the Contour Formation. 292-299 - Naser Peiravian, Xingquan Zhu
Machine Learning for Android Malware Detection Using Permission and API Calls. 300-305 - Andrea Orlandini
Controller Synthesis for Safety Critical Planning. 306-313 - Qi Li, Yongyi Gong:
Rectangular Shape Detection with an Application to License Plate Detection. 314-321 - Amol Dattatraya Mali, Ravi Puthiyattil:
Fully-Automated Instance Decomposition and Subplan Synthesis for Parallel Execution. 322-329 - Fatih Turkmen
Explanations and Relaxations for Policy Conflicts in Physical Access Control. 330-336 - Arunprasath Shankar, Bhanu Pratap Singh, Francis G. Wolff, Christos A. Papachristou
NEFCIS: Neuro-fuzzy Concept Based Inference System for Specification Mining. 337-343 - Marcos L. P. Bueno, Gina M. B. Oliveira:
A Dynamic Multiobjective Evolutionary Algorithm for Multicast Routing Problem. 344-350
Machine Learning and Data Mining
- Reza Hassanzadeh, Richi Nayak
A Rule-Based Hybrid Method for Anomaly Detection in Online-Social-Network Graphs. 351-357 - John Robert Yaros, Tomasz Imielinski:
Imbalanced Hypergraph Partitioning and Improvements for Consensus Clustering. 358-365 - Hsiang Hui Lek, Danny C. C. Poo:
Aspect-Based Twitter Sentiment Classification. 366-373 - Randall Wald, Taghi M. Khoshgoftaar, Amri Napolitano:
Stability of Filter- and Wrapper-Based Feature Subset Selection. 374-380 - Taghi M. Khoshgoftaar, David J. Dittman, Randall Wald, Wael Awada:
A Review of Ensemble Classification for DNA Microarrays Data. 381-389 - Azad Naik, Anveshi Charuvaka, Huzefa Rangwala:
Classifying Documents within Multiple Hierarchical Datasets Using Multi-task Learning. 390-397 - Ken-ichi Fukui, Satoshi Ono
Evolutionary Distance Metric Learning Approach to Semi-supervised Clustering with Neighbor Relations. 398-403 - Rasoul Karimi, Martin Wistuba, Alexandros Nanopoulos, Lars Schmidt-Thieme
Factorized Decision Trees for Active Learning in Recommender Systems. 404-411 - Qiannan Zhang, Yafei Wu, Tian Huang
An Intelligent Anomaly Detection and Reasoning Scheme for VM Live Migration via Cloud Data Mining. 412-419 - Evandro Jose Da Rocha E. Silva, Teresa Bernarda Ludermir, Leandro Maciel Almeida
Clustering and Selection Using Grouping Genetic Algorithms for Blockmodeling to Construct Neural Network Ensembles. 420-425 - Randall Wald, Taghi M. Khoshgoftaar, Amri Napolitano:
How the Choice of Wrapper Learner and Performance Metric Affects Subset Evaluation. 426-432 - Diogo da Silva Severo, Everson Verissimo, George D. C. Cavalcanti, Tsang Ing Ren:
Hybrid Feature Selection and Weighting Method Based on Binary Particle Swarm Optimization. 433-438 - Randall Wald, Taghi M. Khoshgoftaar, Amri Napolitano:
Should the Same Learners Be Used Both within Wrapper Feature Selection and for Building Classification Models? 439-445 - Dan Guo, Taining Xiang, Xuegang Hu, Xindong Wu:
Flexible Pattern Matching with Gap-Length and One-Off Conditions. 446-453 - David J. Dittman, Taghi M. Khoshgoftaar, Randall Wald, Amri Napolitano:
Maximizing Classification Performance for Patient Response Datasets. 454-462 - Changlong Wang, Zhiyong Feng:
A Novel Combination of Reasoners for Ontology Classification. 463-468 - Eduardo Corrêa Gonçalves
A Genetic Algorithm for Optimizing the Label Ordering in Multi-label Classifier Chains. 469-476 - Gianni Costa
Developments in Partitioning XML Documents by Content and Structure Based on Combining Multiple Clusterings. 477-482 - Saïd Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi
Symmetry-Based Pruning in Itemset Mining. 483-490 - Nicolas Labroche
Accelerating One-Pass Clustering by Cluster Selection Racing. 491-498 - Clément Charnay, Nicolas Lachiche
Pairwise Optimization of Bayesian Classifiers for Multi-class Cost-Sensitive Learning. 499-505 - Yue Zhao, Jungang Xu, Yunjun Gao:
A Parallel Algorithm for Bayesian Network Parameter Learning Based on Factor Graph. 506-511 - Liangxiao Jiang
Sampled Bayesian Network Classifiers for Class-Imbalance and Cost-Sensitive Learning. 512-517 - Laurie Serrano, Maroua Bouzid, Thierry Charnois, Stephan Brunessaux, Bruno Grilhères:
Events Extraction and Aggregation for Open Source Intelligence: From Text to Knowledge. 518-523 - Yun Hu, Junyuan Xie, Chongjun Wang, Zuojian Zhou:
An Algorithm for Mining Top K Influential Community Based Evolutionary Outliers in Temporal Dataset. 524-531 - Vladimir Dzyuba
Active Preference Learning for Ranking Patterns. 532-539 - Tongchun Du, Michael T. Cox, Don Perlis, Jared Shamwell, Tim Oates:
From Robots to Reinforcement Learning. 540-545 - Tiago Pessoa Ferreira de Lima, Teresa Bernarda Ludermir:
Optimizing Dynamic Ensemble Selection Procedure by Evolutionary Extreme Learning Machines and a Noise Reduction Filter. 546-552 - Alejandro Edera
Learning Markov Networks with Context-Specific Independences. 553-560 - Davi Carnauba de Lima Vieira, Paulo Jorge Leitão Adeodato
A Temporal Difference GNG-Based Approach for the State Space Quantization in Reinforcement Learning Environments. 561-568 - Jean-Charles Lamirel:
Enhancing Classification Accuracy with the Help of Feature Maximization Metric. 569-574 - Chaoqun Li, Liangxiao Jiang
Attribute Weighted Value Difference Metric. 575-580 - Sultan Alhusain
Design Pattern Recognition by Using Adaptive Neuro Fuzzy Inference System. 581-587
Semantic Web, Reasoning and Learning Agents, and Cognitive Modeling
- Claudette Cayrol, Marie-Christine Lagasquie-Schiex
From Preferences over Arguments to Preferences over Attacks in Abstract Argumentation: A Comparative Study. 588-595 - Fernando Sáenz-Pérez
Implementing Tabled Hypothetical Datalog. 596-601 - El Mehdi Rochd, Mohamed Quafafou, Mustapha Aznag:
Encoding Local Correspondence in Topic Models. 602-609 - Pierre Bisquert, Claudette Cayrol, Florence Dupin de Saint-Cyr
Goal-Driven Changes in Argumentation: A Theoretical Framework and a Tool. 610-617 - Leila Amgoud
An Axiomatic Approach for Persuasion Dialogs. 618-625 - Abir-Beatrice Karami, Karim Sehaba, Benoît Encelle:
Adaptive and Personalised Robots - Learning from Users' Feedback. 626-632 - Meher T. Shaikh, Maria Soledad Pera
A Probabilistic Query Suggestion Approach without Using Query Logs. 633-639 - Yichuan Jiang, Yifeng Zhou, Yunpeng Li:
Network Layer-Oriented Task Allocation for Multiagent Systems in Undependable Multiplex Networks. 640-647 - Michael Glodek, Thomas Geier, Susanne Biundo, Friedhelm Schwenker, Günther Palm:
Recognizing User Preferences Based on Layered Activity Recognition and First-Order Logic. 648-653 - Antesar M. Shabut, Keshav P. Dahal
Enhancing Dynamic Recommender Selection Using Multiple Rules for Trust and Reputation Models in MANETs. 654-660 - Karima Sedki:
On the Relationship between PQCL Preference Formalism and Value-Based AF. 661-666 - Lígia Maria Soares Passos
Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification. 667-673 - Pascal Bercher
On Delete Relaxation in Partial-Order Causal-Link Planning. 674-681 - Tomás Nestorovic, Václav Matousek:
Modified Conversational Agent Architecture. 682-689 - Vasileios Kiouftis, Evangelos Theodoridis, Athanasios K. Tsakalidis:
Knowledge Extraction from Web Services Repositories. 690-697 - Eric Snow, Chadia Moghrabi, Philippe Fournier-Viger
Assessing Procedural Knowledge in Free-Text Answers through a Hybrid Semantic Web Approach. 698-706 - Dan Yang, Christina Leber, Luis Tari, Aravind Chandramouli, Andrew Crapo, Richard Messmer, Steven Gustafson:
A Natural Language Processing and Semantic-Based System for Contract Analysis. 707-712 - Cosmina Croitoru:
Abstract Debates. 713-718 - Erkin Çilden, Faruk Polat:
Generating Memoryless Policies Faster Using Automatic Temporal Abstractions for Reinforcement Learning with Hidden State. 719-726 - Ashish Kulkarni, Chetana Gavankar, Ganesh Ramakrishnan, Sriram Raghavan:
Semi-automatic Dictionary Curation for Domain-Specific Ontologies. 727-734 - Ángel Luís Garrido
TM-Gen: A Topic Map Generator from Text Documents. 735-740 - Rinaldo Lima, Bernard Espinasse, Hilário Oliveira, Laura Pentagrossa, Fred Freitas:
Information Extraction from the Web: An Ontology-Based Method Using Inductive Logic Programming. 741-748 - Bhanu Pratap Singh, Arunprasath Shankar, Yuriy Shiyanovskii, Francis G. Wolff, Christos A. Papachristou
Knowledge-Guided Methodology for Specification Analysis. 749-754 - Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau:
From Natural Language Requirements to Formal Specification Using an Ontology. 755-760 - Man Zhu, Zhiqiang Gao, Jeff Z. Pan, Yuting Zhao, Ying Xu, Zhibin Quan
Ontology Learning from Incomplete Semantic Web Data by BelNet. 761-768 - Zhizheng Zhang, Kaikai Zhao, Rongcun Cui:
ESmodels: An Inference Engine of Epistemic Specifications. 769-774
AI and Decision Systems and Recommendations
- Lara Quijano Sánchez
A Reusable Methodology for the Instantiation of Social Recommender Systems. 775-782 - Ricardo Dias, Manuel J. Fonseca
Improving Music Recommendation in Session-Based Collaborative Filtering by Using Temporal Context. 783-788 - Biao Yin, Mahjoub Dridi, Abdellah El Moudni:
Markov Decision Process for Traffic Control at an Isolated Intersection. 789-794 - Fei Wang, Sanjay Chawla, Wei Liu:
Tikhonov or Lasso Regularization: Which Is Better and When. 795-802 - Adrien Dulac, Damien Pellier, Humbert Fiorino, David Janiszek:
Learning Useful Macro-actions for Planning with N-Grams. 803-810 - David García, Anton Riedl
On the Development of Voter Transition Models for Social Choice Markov Decision Processes. 811-817 - Noreen Jamil, Deanna Needell, Johannes Müller, Christof Lutteroth
Kaczmarz Algorithm with Soft Constraints for User Interface Layout. 818-824 - Michel B. W. De Oliveira, Areolino de Almeida Neto:
Optimization of Traffic Lights Timing Based on Multiple Neural Networks. 825-832 - Javier Barrachina, Piedad Garrido, Manuel Fogué, Francisco J. Martinez
Using Evolution Strategies to Reduce Emergency Services Arrival Time in Case of Accident. 833-840 - Brandon Ellenberger, Amol Dattatraya Mali:
Motion-Driven Action-Based Planning. 841-848 - Qianyi Zhan, Hongchao Yang, Chongjun Wang, Junyuan Xie:
CPP-SNS: A Solution to Influence Maximization Problem under Cost Control. 849-856 - Roberto Interdonato
A Versatile Graph-Based Approach to Package Recommendation. 857-864 - Tomás Balyo:
Relaxing the Relaxed Exist-Step Parallel Planning Semantics. 865-871
25th Anniversary Invited Papers
- Du Zhang:
Perpetual Learning through Overcoming Inconsistencies. 872-879 - Éric Grégoire:
Change Your Belief about Belief Change. 880 - Randall Wald, Taghi M. Khoshgoftaar, Ahmad Abu Shanab:
Comparison of Two Frameworks for Measuring the Stability of Gene-Selection Techniques on Noisy Class-Imbalanced Data. 881-888 - Michael T. Mills, Adamantia Psarologou, Nikolaos G. Bourbakis:
Modeling Natural Language Sentences into SPN Graphs. 889-896
Special Track on SAT/CSP
Session 1.A: Invited Keynote 1
- Stefan Szeider
Capturing Structure in Hard Combinatorial Problems. 897-898
Session 4.A: Invited Keynote 2
- Peter van Beek:
Constraint Programming in Compiler Optimization: Lessons Learned. 899
Session 1.B: Constraint Reasoning I
- Bertrand Neveu, Gilles Trombettoni:
Adaptive Constructive Interval Disjunction. 900-906 - Paolo Codenotti, Hadi Katebi, Karem A. Sakallah, Igor L. Markov:
Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms. 907-914
Session 2: MUS, Cores, and Max-SAT
- Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary:
Solving WCSP by Extraction of Minimal Unsatisfiable Cores. 915-922 - Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure:
Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms. 923-930 - António Morgado
Model-Guided Approaches for MaxSAT Solving. 931-938 - Chu-Min Li, Zhiwen Fang, Ke Xu:
Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem. 939-946
Session 3: Complexity Games and Constraint Games
- Achref El Mouelhi, Philippe Jégou, Cyril Terrioux:
A Hybrid Tractable Class for Non-binary CSPs. 947-954 - Éric Grégoire, Atef Hasni, Bertrand Mazure, Cédric Piette:
Solving E-Squaro through SAT-Coding. 955-962 - Thi-Van-Anh Nguyen, Arnaud Lallouet, Lucas Bordeaux:
Constraint Games: Framework and Local Search Solver. 963-970
Session 4.B: Constraint Reasoning II
- Pierre Schaus:
Variable Objective Large Neighborhood Search: A Practical Approach to Solve Over-Constrained Problems. 971-978 - Jimmy Ho-Man Lee, Terrence W. K. Mak
A General Privacy Loss Aggregation Framework for Distributed Constraint Reasoning. 979-986
Session 5: Heuristics
- Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
On-the-Fly Lazy Clause Simplification Based on Binary Resolvents. 987-995 - Erich Christian Teppan, Gerhard Friedrich:
Declarative Heuristics in Constraint Satisfaction. 996-1003 - Ignacio Araya
More Smear-Based Variable Selection Heuristics for NCSPs. 1004-1011 - Deepak Mehta, Barry O'Sullivan
Lazy Branching for Constraint Satisfaction. 1012-1019
Session 6: Encoding and Translation Issues - Meta-models
- Naoyuki Tamura
Compiling Pseudo-Boolean Constraints to SAT with Order Encoding. 1020-1027 - Van-Hau Nguyen, Miroslav N. Velev
Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT. 1028-1035 - Joseph D. Scott, Pierre Flener
Bounded Strings for Constraint Programming. 1036-1043 - Adel Ferdjoukh, Anne-Elisabeth Baert, Annie Chateau, Remi Coletta, Clémentine Nebut:
A CSP Approach for Metamodel Instantiation. 1044-1051
Session 7: Constraint Reasoning III
- Luis Quesada, Kenneth N. Brown, Barry O'Sullivan
A Constraint Programming Approach to the Additional Relay Placement Problem in Wireless Sensor Networks. 1052-1059
and Cormac J. Sreenan
- Thi-Bich-Hanh Dao, Khanh-Chuong Duong, Christel Vrain:
A Filtering Algorithm for Constrained Clustering with Within-Cluster Sum of Dissimilarities Criterion. 1060-1067 - Broes De Cat, Bart Bogaerts
Model Expansion in the Presence of Function Symbols Using Constraint Programming. 1068-1075 - María Andreína Francisco Rodríguez
Generation of Implied Constraints for Automaton-Induced Decompositions. 1076-1083
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: