default search action
24th ICTAI 2012: Athens, Greece
- IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012. IEEE Computer Society 2012, ISBN 978-1-4799-0227-9
Volume 1
- Ioannis Vlahava, Sotirios G. Ziavras:
Message from General Chairs. - Jérôme Amilhastre, Hélène Fargier, Alexandre Niveau, Cédric Pralet:
Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams. 1-8 - Jimmy Ho-Man Lee, Ka Lun Leung, Yu Wai Shum:
Propagating Polynomially (Integral) Linear Projection-Safe Global Cost Functions in WCSPs. 9-16 - Jimmy Ho-Man Lee, Terrence W. K. Mak:
A Value Ordering Heuristic for Solving Ultra-Weak Solutions in Minimax Weighted CSPs. 17-24 - Ioannis Rexakis, Michail G. Lagoudakis:
Directed Policy Search Using Relevance Vector Machines. 25-32 - Mohamed Wahbi, Redouane Ezzahir, Christian Bessiere, El-Houssine Bouyakhf:
Maintaining Arc Consistency Asynchronously in Synchronous Distributed Search. 33-40 - Neng-Fa Zhou, Masato Tsuru, Eitaku Nobuyama:
A Comparison of CP, IP, and SAT Solvers through a Common Interface. 41-48 - Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears:
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. 49-56 - Alejandro Arbelaez, Philippe Codognet:
Massively Parallel Local Search for SAT. 57-64 - Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä:
Extending Clause Learning SAT Solvers with Complete Parity Reasoning. 65-72 - Md. Solimul Chowdhury, Jia-Huai You:
SAT with Global Constraints. 73-80 - Utku Erdogdu, Faruk Polat, Reda Alhajj:
Partially Observable Gene Regulatory Network Control without a Boundary on Horizon. 81-88 - Wesam Herbawi, Michael Weber:
Modeling the Multihop Ridematching Problem with Time Windows and Solving It Using Genetic Algorithms. 89-96 - Sakshi Babbar, Sanjay Chawla:
Mining Causal Outliers Using Gaussian Bayesian Networks. 97-104 - Jingsong Wang, Marco Valtorta:
Using Relative Classification Probability to Increase Accuracy of Restricted Structure Bayesian Network Classifiers. 105-113 - Sandra de Amo, Marcos L. P. Bueno, Guilherme Alves, Nádia Félix F. da Silva:
CPrefMiner: An Algorithm for Mining User Contextual Preferences Based on Bayesian Networks. 114-121 - Ming-Bo Zhao, Zhao Zhang, Tommy W. S. Chow:
On the Theoretical and Computational Analysis between SDA and Lap-LDA. 122-129 - Lina Ye, Philippe Dague:
A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems. 130-137 - Kirthevasan Kandasamy:
Latent Beta Topographic Mapping. 138-145 - Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure:
Relax! 146-153 - Erich Christian Teppan:
Re-configuring Legacy Instances of the Partner Units Problem. 154-161 - Jens Pottebaum, Alexander Artikis, Robin Marterer, George Paliouras:
User-Oriented Evaluation of Event-Based Decision Support Systems. 162-169 - Conrad Drescher:
The Partner Units Problem a Constraint Programming Case Study. 170-177 - Saida Hammoujan, El-Houssine Bouyakhf, Imade Benelallam:
Interleaved Asynchronous Arc Consistency in Distributed Constraint Networks. 178-185 - Jinsong Guo, Zhanshan Li, Hongbo Li:
Partial Max-restricted Path Consistency. 186-190 - Daniel Toropila, Filip Dvorak, Otakar Trunda, Martin Hanes, Roman Barták:
Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems. 191-198 - Marouene Kefi, Vincent Barichard, Paul Richard:
A Constraint-Solver Based Tool for User-Assisted Interactive 3D Layout. 199-206 - André Abramé, Djamal Habet:
Inference Rules in Local Search for Max-SAT. 207-214 - Martin Pilát, Roman Neruda:
A Surrogate Based Multiobjective Evolution Strategy with Different Models for Local Search and Pre-selection. 215-222 - Jinsong Guo, Zhanshan Li, Yonggang Zhang:
Efficient Singleton Consistency by Combining Forward Checking and Bound Consistency. 223-229 - Rudy Setiono, Alex Seret:
Discrete Variable Generation for Improved Neural Network Classification. 230-237 - Athanasios Tsitsoulis, Nikolaos G. Bourbakis:
A Methodology for Detecting Faces from Different Views. 238-245 - Vasileios Karavasilis, Christophoros Nikou, Aristidis Likas:
Visual Tracking by Weighted Likelihood Maximization. 246-252 - Viet Cuong Nguyen, Vu C. Dinh, Lam Si Tung Ho:
Mel-frequency Cepstral Coefficients for Eye Movement Identification. 253-260 - Hsiang Hui Lek, Danny C. C. Poo:
Sentix: An Aspect and Domain Sensitive Sentiment Lexicon. 261-268 - Qi Chen, Andy M. Yip, Chew Lim Tan:
Automatic Image Annotation Using Word Embedding Learning. 269-276 - Constantinos Stylianou, Simos Gerasimou, Andreas S. Andreou:
A Novel Prototype Tool for Intelligent Software Project Scheduling and Staffing Enhanced with Personality Factors. 277-284 - Tyrel Russell, Peter van Beek:
Detecting Manipulation in Cup and Round Robin Sports Competitions. 285-290 - Ramón Béjar, Cèsar Fernández, Felip Manyà, Carles Mateu, Francina Sole-Mauri:
Optimizing Energy Consumption in Automated Vacuum Waste Collection Systems. 291-298 - Joan Escamilla, Mario Rodríguez-Molins, Miguel A. Salido, María R. Sierra, Carlos Mencía, Federico Barber:
Robust Solutions to Job-Shop Scheduling Problems with Operators. 299-306 - Kostas F. Xylogiannopoulos, Panagiotis Karampelas, Reda Alhajj:
Minimization of Suffix Array's Storage Capacity for Periodicity Detection in Time Series. 307-313 - Jianye Hao, Ho-fung Leung:
Incorporating Fairness into Infinitely Repeated Games with Conflicting Interests for Conflicts Elimination. 314-321 - Chairi Kiourt, Dimitris Kalles:
Social Reinforcement Learning in Game Playing. 322-326 - Radhia Azzouz, Slim Bechikh, Lamjed Ben Said:
Articulating Decision Maker's Preference Information within Multiobjective Artificial Immune Systems. 327-334 - Nikolaos Pothitos, Panagiotis Stamatopoulos, Kyriakos Zervoudakis:
Course Scheduling in an Adjustable Constraint Propagation Schema. 335-343 - Juan Pablo Cares, María Cristina Riff:
A Collaborative Approach to Solve a Nurse Scheduling Problem. 344-350 - Rodrigo F. B. de Brito, Adriano L. I. Oliveira:
Comparative Study of FOREX Trading Systems Built with SVR+GHSOM and Genetic Algorithms Optimization of Technical Indicators. 351-358 - Verónica Bolón-Canedo, Diego Peteiro-Barral, Beatriz Remeseiro, Amparo Alonso-Betanzos, Bertha Guijarro-Berdiñas, Antonio Mosquera González, Manuel G. Penedo, Noelia Sánchez-Maroño:
Interferential Tear Film Lipid Layer Classification: An Automatic Dry Eye Test. 359-366 - Mahsa T. Pourazad, Di Xu, Panos Nasiopoulos:
Random Forests Based View Generation for Multiview TV. 367-372 - Xu Zhao, Zhong Zhou, Ye Duan, Wei Wu:
Robust Frame Registration for Multiple Camera Setups in Dynamic Scenes. 373-380 - Konstantinos Christidis, Gregoris Mentzas:
A Topic-Based Recommender System for Electronic Marketplace Platforms. 381-388 - Gianni Costa, Riccardo Ortale:
On Effective XML Clustering by Path Commonality: An Efficient and Scalable Algorithm. 389-396 - Lei Pan, Chao Dai, Chongjun Wang, Junyuan Xie, Meilin Liu:
Overlapping Community Detection via Leader-Based Local Expansion in Social Networks. 397-404 - Grzegorz J. Nalepa, Weronika T. Adrian, Szymon Bobek, Piotr Maslanka:
Combining AceWiki with a CAPTCHA System for Collaborative Knowledge Acquisition. 405-410 - Georgios M. Santipantakis, George A. Vouros:
Modularizing OWL Ontologies Using $E^{DDL}_{HQ^+}$ $\mathcal{SHIQ}$. 411-418 - Qi Chen, Gang Wang, Chew Lim Tan:
Web Image Organization and Object Discovery by Actively Creating Visual Clusters through Crowdsourcing. 419-427 - Alexandros Karakasidis, Vassilios S. Verykios:
A Highly Efficient and Secure Multidimensional Blocking Approach for Private Record Linkage. 428-435 - Michael Sioutis, Manolis Koubarakis:
Consistency of Chordal RCC-8 Networks. 436-443 - Maximos A. Kaliakatsos-Papakostas, Andreas Floros, Michael N. Vrahatis:
Intelligent Real-Time Music Accompaniment for Constraint-Free Improvisation. 444-451 - Salem Benferhat, Abdelhamid Boudjelida, Karim Tabia:
Revising the Outputs of a Decision Tree with Expert Knowledge: Application to Intrusion Detection and Alert Correlation. 452-459 - Alexandros Preventis, Polyxeni Marki, Euripides G. M. Petrakis, Sotiris Batsakis:
CHRONOS: A Tool for Handling Temporal Ontologies in Protégé. 460-467 - Jicheng Fu, Sijie Tian, Vincent Ng, Farokh B. Bastani, I-Ling Yen:
Handling Planning Failures with Virtual Actions. 468-475 - George Anastassakis, Themis Panayiotopoulos:
A Transparent and Decentralized Model of Action for Intelligent Virtual Agents. 476-483 - Lukás Chrpa, Thomas Leo McCluskey, Hugh Osborne:
Determining Redundant Actions in Sequential Plans. 484-491 - Mathieu Guillame-Bert, James L. Crowley:
Planning with Inaccurate Temporal Rules. 492-499 - Baudouin Dafflon, Jean-Michel Contet, Franck Gechter, Pablo Gruer:
Toward a Reactive Agent Based Parking Assistance System. 500-507 - Nikolaos Pappas, Georgios Katsimpras, Efstathios Stamatatos:
An Agent-Based Focused Crawling Framework for Topic- and Genre-Related Web Document Discovery. 508-515 - Mohamad El Falou, Maroua Bouzid, Abdel-Illah Mouaddib:
DEC-A*: A Decentralized Multiagent Pathfinding Algorithm. 516-523 - Pavel Surynek:
On Propositional Encodings of Cooperative Path-Finding. 524-531 - Mahboobeh Parsapoor, Urban Bilstrup:
Brain Emotional Learning Based Fuzzy Inference System (BELFIS) for Solar Activity Forecasting. 532-539 - Philippe Besnard, Éric Grégoire, Badran Raddaoui:
An Argumentation Framework for Reasoning about Bounded Resources. 540-547 - Julien Hué, Matthias Westphal:
Revising Qualitative Constraint Networks: Definition and Implementation. 548-555 - Nicolas Prcovic:
Narrowing Extended Resolution. 556-563 - Jann Müller, Anthony Hunter:
An Argumentation-Based Approach for Decision Making. 564-571 - Belaid Benhamou, Pierre Siegel:
A New Semantics for Logic Programs Capturing and Extending the Stable Model Semantics. 572-579 - Yosra Acodad, Imade Benelallam, Saida Hammoujan, El-Houssine Bouyakhf:
Extended Partial-Order Dynamic Backtracking Algorithm for Dynamically Changed Environments. 580-587 - Julien Hué, Matthias Westphal, Stefan Wölfl:
An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning. 588-595 - George Christodoulou, Euripides G. M. Petrakis, Sotiris Batsakis:
Qualitative Spatial Reasoning Using Topological and Directional Information in OWL. 596-602 - Jason Jingshi Li:
Qualitative Spatial and Temporal Reasoning with Answer Set Programming. 603-609 - Marian-Andrei Rizoiu, Julien Velcin, Stéphane Lallich:
Structuring Typical Evolutions Using Temporal-Driven Constrained Clustering. 610-617 - Alexandre Papadopoulos, Barry O'Sullivan:
Compiling Domain Consequences. 618-625 - Pierre-Yves Dumas, Amal El Fallah Seghrouchni, Patrick Taillibert:
Aerial: A Framework to Support Human Decision Making in a Constrained Environment. 626-633 - Osama Khan, Asim Karim:
A Rule-Based Model for Normalization of SMS Text. 634-641 - Alexandros Papangelis, Vangelis Karkaletsis, Fillia Makedon:
Online Complex Action Learning and User State Estimation for Adaptive Dialogue Systems. 642-649 - Dongyu Shi, Sufang Xu:
Hybrid Correlational Graphical Models for Reasoning in Detecting Systems. 650-657 - Slim Bouker, Rabie Saidi, Sadok Ben Yahia, Engelbert Mephu Nguifo:
Ranking and Selecting Association Rules Based on Dominance Relationship. 658-665 - Mohamed Bouguessa:
A Probabilistic Combination Approach to Improve Outlier Detection. 666-673 - Aristomenis S. Lampropoulos, Dionisios N. Sotiropoulos, George A. Tsihrintzis:
Evaluation of a Cascade Hybrid Recommendation as a Combination of One-Class Classification and Collaborative Filtering. 674-681 - Georgia Tsiliki, Sophia Kossida, Natalja Friesen, Stefan Rüping, Manolis Tzagarakis, Nikos I. Karacapilidis:
Data Mining Based Collaborative Analysis of Microarray Data. 682-689 - Jafar Tanha, Maarten van Someren, Merijn de Bakker, Willem Bouten, Judy Shamoun-Baranes, Hamideh Afsarmanesh:
Multiclass Semi-supervised Learning for Animal Behavior Recognition from Accelerometer Data. 690-697 - Xiaobo Liu, Harry Zhang, Zhihua Cai, Guangjun Wang:
A Tri-training Based Transfer Learning Algorithm. 698-703 - Ioannis E. Skoulakis, Michail G. Lagoudakis:
Efficient Reinforcement Learning in Adversarial Games. 704-711 - Nikolaos Tziortziotis, Konstantinos Blekas:
A Model Based Reinforcement Learning Approach Using On-Line Clustering. 712-718 - Catalina-Anca Ioan, Julien Velcin, Stefan Trausan-Matu:
Tagging Choreographic Data for Data Mining and Classification. 719-726 - Samir Al-Stouhi, Chandan K. Reddy, David E. Lanfear:
Label Space Transfer Learning. 727-734 - Christophe Brouard:
Document Classification by Computing an Echo in a Very Simple Neural Network. 735-741 - Asdrúbal López Chau, Lourdes López-García, Jair Cervantes, Xiaoou Li, Wen Yu:
Data Selection Using Decision Tree for SVM Classification. 742-749 - Wendeson S. Oliveira, Tsang Ing Ren, George D. C. Cavalcanti:
An Unsupervised Segmentation Method for Retinal Vessel Using Combined Filters. 750-756 - Hugo R. Albuquerque, Tsang Ing Ren, George D. C. Cavalcanti:
Image Fusion Combining Frequency Domain Techniques Based on Focus. 757-762 - Cristiano de Santana Pereira, George D. C. Cavalcanti:
Competence Enhancement for Nearest Neighbor Classification Rule by Ranking-Based Instance Selection. 763-769 - Dalí F. D. dos Santos, Ilmério Reis da Silva, Denise Guliato, Manuel J. Fonseca:
Combining Color and Topology for Partial Matching. 770-777 - Iosif Mporas, Todor Ganchev, Otilia Kocsis, Nikos Fakotakis, Olaf Jahn, Klaus Riede, Karl-L. Schuchmann:
Automated Acoustic Classification of Bird Species from Real -Field Recordings. 778-781 - Manisha Pujari, Rushed Kanawati:
Link Prediction in Complex Networks by Supervised Rank Aggregation. 782-789 - Evangelos Chatzicharalampous, Georgia Frantzeskou, Efstathios Stamatatos:
Author Identification in Imbalanced Sets of Source Code Samples. 790-797 - Conor O'Mahony, Nic Wilson:
Sorted Pareto Dominance: An Extension to Pareto Dominance and Its Application in Soft Constraints. 798-805 - Balkis Abidi, Sadok Ben Yahia, Amel Bouzeghoub:
A New Algorithm for Fuzzy Clustering Able to Find the Optimal Number of Clusters. 806-813 - Wenyin Tang, Ke Zhi Mao, Lee Onn Mak, Gee Wah Ng:
Adaptive Fuzzy Rule-Based Classification System Integrating Both Expert Knowledge and Data. 814-821 - Monia Tlili, Thouraya Ayadi, Tarek M. Hamdani, Adel M. Alimi:
FMIG: Fuzzy Multilevel Interior Growing Self-Organizing Maps. 822-827 - Bin Pei, Tingting Zhao, Suyun Zhao, Hong Chen:
Mining Fuzzy Association Rules from Heterogeneous Probabilistic Datasets. 828-835 - Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir:
Possible and Necessary Answer Sets of Possibilistic Answer Set Programs. 836-843 - Thomas Geier, Susanne Biundo, Stephan Reuter, Klaus Dietmayer:
Track-Person Association Using a First-Order Probabilistic Model. 844-851 - Vincenzo Deufemia, Luca Paolino, Henry de Lumley:
Petroglyph Recognition Using Self-Organizing Maps and Fuzzy Visual Language Parsing. 852-859 - Yusen Zhan, Jun Wu, Chongjun Wang, Junyuan Xie:
On the Complexity and Algorithms of Coalition Structure Generation in Overlapping Coalition Formation Games. 868-873 - Laura Climent, Richard J. Wallace, Miguel A. Salido, Federico Barber:
An Algorithm for Finding Robust and Stable Solutions for Constraint Satisfaction Problems with Discrete and Ordered Domains. 874-879 - Anastasia Paparrizou, Kostas Stergiou:
Evaluating Simple Fully Automated Heuristics for Adaptive Constraint Propagation. 880-885 - Everson Verissimo, Diogo da Silva Severo, George D. C. Cavalcanti, Tsang Ing Ren:
A Dimensionality Reduction Approach for Modular Neural Networks. 886-891