default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27th ICTAI 2015: Vietri sul Mare, Italy
- 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9-11, 2015. IEEE Computer Society 2015, ISBN 978-1-5090-0163-7
Session: CSP/SAT - 1
- Philippe Jégou, Hanan Kanso, Cyril Terrioux:
An Algorithmic Framework for Decomposing Constraint Networks. 1-8 - Achref El Mouelhi:
On the Decomposition of Non-binary Constraint into Equivalent Binary Constraints. 9-16 - Nebras Gharbi:
Using Parallel Singleton Arc Consistency to Enhance Constraint Solving. 17-24 - Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli
, Tong Liu, Jacopo Mauro:
Feature Selection for SUNNY: A Study on the Algorithm Selection Library. 25-32 - Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux:
Modeling and Mining Optimal Patterns Using Dynamic CSP. 33-40
Session: Searching and Scheduling - 1
- Takfarinas Saber, Anthony Ventresque, João Marques-Silva, James Thorburn, Liam Murphy:
MILP for the Multi-objective VM Reassignment Problem. 41-48 - Biao Yin, Mahjoub Dridi, Abdellah El Moudni:
Adaptive Traffic Signal Control for Multi-intersection Based on Microscopic Model. 49-55 - Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Dagan Harrington, Feng Tang, Peng Tang:
Probabilistic Verification of Multi-robot Missions in Uncertain Environments. 56-63 - Roberto Micalizio, Gianluca Torta:
A Scheduling Tool for Conditionally Independent Temporal Preferences. 64-71 - Nicolas Schilling, Martin Wistuba, Lucas Drumond, Lars Schmidt-Thieme:
Joint Model Choice and Hyperparameter Optimization with Factorized Multilayer Perceptrons. 72-79
Session: Reasoning and Constraints
- Zhangquan Zhou, Guilin Qi, Zimian Wu, Jun Shi:
A Platform-Independent Approach for Parallel Reasoning with OWL EL Ontologies Using Graph Representation. 80-87 - Anne-Marie George, Abdul Razak, Nic Wilson:
The Comparison of Multi-objective Preference Inference Based on Lexicographic and Weighted Average Models. 88-95 - Olimpia Matarazzo, Claudia Greco, Fabrizio Massimo Ferrara, Michele Carpentieri:
Testing Massive Modularity Hypothesis through the Selection Task: Content of Rules, Forms of Reasoning, or Pragmatic Expectations? Formal, Content, and Pragmatic Aspects in Human Reasoning. 96-103 - Leila Amgoud, Philippe Besnard, Anthony Hunter:
Logical Representation and Analysis for RC-Arguments. 104-110 - Souhila Kaci, Eric Raufaste:
Axiomatic Characterization of Wishes and Constraints: An Empirical Analysis of Human Endorsement. 111-118
Session: Clustering
- Feng Liu, Chongjun Wang, Jidong Ge, Bin Luo:
PCFBPI: A Point Clustering Feature Based Policy Iteration Algorithm. 119-124 - William Correa Beltran, Hélène Jaudoin, Olivier Pivert:
A Clustering-Based Approach to the Mining of Analogical Proportions. 125-131 - Qian Wang, Hong Li, Tao Wang, Chong-Jun Wang, Xuri Yin:
Using Hierarchical Clustering Algorithm to Detect Community Structure in Traditional Chinese Medicine Formula Network. 132-138 - Burak Kaleci, Cagri Mete Senler, Osman Parlaktuna, Ugur Gurel:
Constructing Topological Map from Metric Map Using Spectral Clustering. 139-145 - Gianni Costa, Riccardo Ortale:
Fully-Automatic XML Clustering by Structure-Constrained Phrases. 146-153
Session: Learning - 1
- Chen Lyu, Yanan Lu, Donghong Ji, Bo Chen:
Deep Learning for Textual Entailment Recognition. 154-161 - Gilbert Lim, Yuan Cheng, Wynne Hsu, Mong-Li Lee:
Integrated Optic Disc and Cup Segmentation with Deep Learning. 162-169 - Shuhua You, Quan Liu, Zongzhang Zhang, Hui Wang, Xiaofang Zhang:
Intelligent Model Learning Based on Variance for Bayesian Reinforcement Learning. 170-177 - Guoliang He, Yong Duan, Yifei Li, Tieyun Qian, Jinrong He, Xiangyang Jia:
Active Learning for Multivariate Time Series Classification with Positive Unlabeled Data. 178-185 - Joseph D. Prusa, Taghi M. Khoshgoftaar, Amri Napolitano:
Using Feature Selection in Combination with Ensemble Learning Techniques to Improve Tweet Sentiment Classification Performance. 186-193
Session: Document and NL Processing - 1
- Rinaldo Lima, Bernard Espinasse, Fred Freitas:
Relation Extraction from Texts with Symbolic Rules Induced by Inductive Logic Programming. 194-201 - Yue Feng, Hossein Fani, Ebrahim Bagheri, Jelena Jovanovic:
Lexical Semantic Relatedness for Twitter Analytics. 202-209 - Vincent Letard, Sophie Rosset, Gabriel Illouz:
Analogical Reasoning for Natural to Formal Language Transfer. 210-217 - Adamantia Psarologou, Anna Esposito, Nikolaos G. Bourbakis:
A Synthesis of Stochastic Petri Net (SPN) Graphs for Natural Language Understanding (NLU) Event/Action Association. 218-225
Session: Semantics and Knowledge
- Ming Li, Bo Lang, Jinmiao Wang:
Compound Concept Semantic Similarity Calculation Based on Ontology and Concept Constitution Features. 226-233 - Cheng Wang, Haojin Yang, Christoph Meinel:
Deep Semantic Mapping for Cross-Modal Retrieval. 234-241 - Fuan Pu, Jian Luo, Guiming Luo:
Some Supplementaries to the Counting Semantics for Abstract Argumentation. 242-249 - Henry Soldano, Guillaume Santini, Dominique Bouthinon:
Local Knowledge Discovery in Attributed Graphs. 250-257
Session: Classification Methods - 1
- Tahani Bouchrika, Olfa Jemai, Mourad Zaied, Chokri Ben Amar:
CSWN: A Cascaded Architecture of Separator Wavelet Networks for Image Classification. 258-264 - Salima Hassairi, Ridha Ejbali, Mourad Zaied:
Supervised Image Classification Using Deep Convolutional Wavelets Network. 265-271 - Min Pang, Ying Wang, Jie Li:
Dirichlet-Based Concentric Circle Feature Transform for Breast Mass Classification. 272-277 - T. M. Shahriar Sazzad, L. J. Armstrong, Amiya Kumar Tripathy:
An Automated Detection Process to Detect Ovarian Tissues Using Type P63 Digitized Color Images. 278-285
Session: Data Analytics and Data Mining - 1
- Weijie Zheng, Haohuan Fu, Guangwen Yang:
Targeted Mutation: A Novel Mutation Strategy for Differential Evolution. 286-293 - Fabio Fabris, Alex Alves Freitas:
A Novel Extended Hierarchical Dependence Network Method Based on Non-hierarchical Predictive Classes and Applications to Ageing-Related Data. 294-301 - Takahiro Kawamura, Akihiko Ohsuga:
An Approach to Construct Semantic Networks with Confidence Scores Based on Data Analysis - Case Study in Osaka Wholesale Market. 302-309 - Luca Canensi, Giorgio Leonardi, Stefania Montani, Paolo Terenziani:
Mining the Log-Tree of Process Traces: Current Approach and Future Perspectives. 310-316
Session: Document and NL Processing - 2
- Le Nguyen Hoai Nam, Ho Bao Quoc:
A Combined Approach for Filter Feature Selection in Document Classification. 317-324 - Tao Wang, Yi Cai, Ho-fung Leung, Zhiwei Cai, Huaqing Min:
Entropy-Based Term Weighting Schemes for Text Categorization in VSM. 325-332 - Georgios Stratogiannis, Georgios Siolas, Georgios Stamou, Andreas Stafylopatis, Alexandros Chortaras, Athanasios Tagaris:
Advancing the Terminological Classification of Semi-structured Documents. 333-339 - Wiem Lahbib, Ibrahim Bounhas, Yahya Slimani:
Arabic Terminology Extraction and Enrichment Based on Domain-Specific Text Mining. 340-347
Session: AI Tools and Models - 1
- Cheng Zhu, Rong Ding, Mengxiang Lin, Yuanyuan Wu:
A 3D Frontier-Based Exploration Tool for MAVs. 348-352 - Shukai Li, Xiaoli Li, Whye Loon Tung, Kelvin Sim:
Behaviors and Profit Based Sales Campaign Design. 353-360 - Firat Ismailoglu, Evgueni N. Smirnov, Ralf Peeters:
Conformal ECOC Machines. 361-368 - Dan Xu, Quan Liu:
ACIS: An Improved Actor-Critic Method for POMDPs with Internal State. 369-376
Session: Classification Methods - 2
- Ouadie Gharroudi, Haytham Elghazel, Alex Aussem:
Ensemble Multi-label Classification: A Comparative Study on Threshold Selection and Voting Methods. 377-384 - Li Zhang, Zhiwei Tao:
Time Series Classification Based on Multi-codebook Piecewise Vector Quantized Approximation. 385-390 - Xiaoyu Wang, Zhao Zhang, Yu Tang, Weiming Jiang, Fanzhang Li:
L1-Norm Driven Semi-supervised Local Discriminant Projection for Robust Image Representation. 391-397 - Miltiadis Alamaniotis, Lefteri H. Tsoukalas, Athanasios Fevgas, Panagiota E. Tsompanopoulou, Panayiotis Bozanis:
Multiobjective Unfolding of Shared Power Consumption Pattern Using Genetic Algorithm for Estimating Individual Usage in Smart Cities. 398-404
Session: CSP/SAT - 2
- Saïd Jabbour, Stéphanie Roussel, Lakhdar Sais, Yakoub Salhi:
Mining to Compress Table Constraints. 405-412 - Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, Christian Bessiere, El-Houssine Bouyakhf:
Detecting Types of Variables for Generalization in Constraint Acquisition. 413-420 - Takehide Soh, Mutsunori Banbara, Naoyuki Tamura:
A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings. 421-428 - Hélène Fargier, Frederic Maris, Vincent Roger:
Temporal Constraint Satisfaction Problems and Difference Decision Diagrams: A Compilation Map. 429-436 - Eliseo Marzal, Laura Sebastia, Eva Onaindia:
Temporal Landmarks for Overconstrained Planning Problems with Deadlines. 437-444 - Jean-François Condotta, Ali Mensi, Issam Nouaouri, Michael Sioutis, Lamjed Ben Said:
A Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. 445-452
Session: Searching and Scheduling - 2
- Angelo Oddi, Riccardo Rasconi, Amedeo Cesta:
A Multi-objective Large Neighborhood Search Methodology for Scheduling Problems with Energy Costs. 453-460 - Maël Minot, Samba Ndojh Ndiaye, Christine Solnon:
A Comparison of Decomposition Methods for the Maximum Common Subgraph Problem. 461-468 - Thiago Franca Naves, Carlos Roberto Lopes:
One Approach to Determine Goals in RTS Games Using Maximization of Resource Production with Local Search and Scheduling. 469-477 - Xiaofeng Chen, Defu Zhang, Xiangxiang Zeng:
A Stable Matching-Based Selection and Memory Enhanced MOEA/D for Evolutionary Dynamic Multiobjective Optimization. 478-485
Session: Planning
- Jesimar da Silva Arantes, Márcio da Silva Arantes, Claudio Fabiano Motta Toledo, Brian Charles Williams:
A Multi-population Genetic Algorithm for UAV Path Re-planning under Critical Situation. 486-493 - Mattia Rizzini, Chris Fawcett, Mauro Vallati, Alfonso Emilio Gerevini, Holger H. Hoos:
Portfolio Methods for Optimal Planning: An Empirical Analysis. 494-501 - Stefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son:
Exploring the Use of BDDs in Conformant Planning. 502-509 - Burak Kaleci, Cagri Mete Senler, Helin Dutagaci, Osman Parlaktuna:
Rule-Based Door Detection Using Laser Range Data in Indoor Environments. 510-517 - Su Yan, Kaiquan Cai, Yanbo Zhu:
A Multi-objective Memetic Algorithm for Network-Wide Flights Planning Optimization. 518-525
Session: States and Changes
- Martin Nyolt, Thomas Kirste:
On Resampling for Bayesian Filters in Discrete State Spaces. 526-533 - Sylvain Castagnos, Amaury L'Huillier, Anne Boyer:
Toward a Robust Diversity-Based Model to Detect Changes of Context. 534-541 - Thibault Gisselbrecht, Sylvain Lamprier, Patrick Gallinari:
Policies for Contextual Bandit Problems with Count Payoffs. 542-549 - Uwe Köckemann, Federico Pecora, Lars Karlsson:
Inferring Context and Goals for Online Human-Aware Planning. 550-557 - Nic Wilson:
Approaches and Properties for Aggregating Occupant Preferences. 558-565
Session: Data Analytics and Data Mining - 2
- Schahrazed Fennouh, Roger Nkambou, Petko Valtchev, Mohamed Rouane Hacene:
On the Assessment of Concept Relevance in FCA-Based Ontology Restructuring. 566-574 - Ahmed M. Abubahia, Mihaela Cocea:
Exploiting Vector Map Properties for GIS Data Copyright Protection. 575-582 - Ahmed Halioui, Petko Valtchev, Abdoulaye Baniré Diallo:
Acquisition of Generic Problem Solving Knowledge through Information Extraction and Pattern Mining. 583-590 - Velissarios Zamparas, Andreas Kanavos, Christos Makris:
Real Time Analytics for Measuring User Influence on Twitter. 591-597
Session: AI Tools and Models - 2
- Martin Pilát, Roman Neruda:
Hypervolume-Based Surrogate Model for MO-CMA-ES. 604-611 - Yacine Abboud, Anne Boyer, Armelle Brun:
Predict the Emergence: Application to Competencies in Job Offers. 612-619 - Aseel B. Kmail, Mohammed Maree, Mohammed Belkhatir, Saadat M. Alhashmi:
An Automatic Online Recruitment System Based on Exploiting Multiple Semantic Resources and Concept-Relatedness Measures. 620-627
Session: Decision Support Systems - 1
- Shuang Zhou, Evgueni N. Smirnov, Gijs Schoenmakers, Ralf Peeters, Kurt Driessens:
A Non-parametric Conformity-Based Test for Transfer Decisions. 628-635 - Hadjer Ykhlef, Djamel Bouchaffra:
Induced Subgraph Game for Ensemble Selection. 636-643 - Ernani Viriato de Melo, Emilia Alves Nogueira, Denise Guliato:
Content-Based Filtering Enhanced by Human Visual Attention Applied to Clothing Recommendation. 644-651 - Kevin Scaman, Argyris Kalogeratos, Nicolas Vayatis:
A Greedy Approach for Dynamic Control of Diffusion Processes in Networks. 652-659
Session: Recognition and Semantics
- Anna Esposito, Jessica Vassallo, Antonietta Maria Esposito, Nikolaos G. Bourbakis:
On the Amount of Semantic Information Conveyed by Gestures. 660-667 - Meili Wei, Bo Ma:
Face Recognition Based on Randomized Subspace Feature. 668-674 - YingLi Peng, Tingting Zhang, Li Sun, Jie Chen:
A Novel Data Mining Method on Falling Detection and Daily Activities Recognition. 675-681 - Bo Zhai, Jin Zheng, Yue Wang, Chi Zhang:
A Multi-scale Evaluation Method for Motion Filtering in Digital Image Stabilization. 682-688
Session: Data Analytics and Data Mining - 3
- Nikhil Muralidhar, Huzefa Rangwala, Eui-Hong Sam Han:
Recommending Temporally Relevant News Content from Implicit Feedback Data. 689-696 - Francisco de Assis Boldt, Thomas W. Rauber, Flávio Miguel Varejão:
Single Sequence Fast Feature Selection for High-Dimensional Data. 697-704 - Taghi M. Khoshgoftaar, Alireza Fazelpour, David J. Dittman, Amri Napolitano:
Ensemble vs. Data Sampling: Which Option Is Best Suited to Improve Classification Performance of Imbalanced Bioinformatics Data? 705-712 - Alessia Amelio, Clara Pizzuti:
Analysis of the Italian Tweet Political Sentiment in 2014 European Elections. 713-720
Session: Cognitive
- Karima Sedki, Louis Bonneau de Beaufort:
Constructing Weighted Argumentation Framework with Cognitive Maps. 721-728 - Paulo Eduardo Ubaldino de Souza, Caroline Ponzoni Carvalho Chanel, Frédéric Dehais:
MOMDP-Based Target Search Mission Taking into Account the Human Operator's Cognitive State. 729-736 - Michele Carpentieri, Antonio Cerrato, Ivana Baldassarre, Olimpia Matarazzo:
Effects of Cognitive Feedback, Emotional Induction, and Social Pressure on Decisions Related to Cognitive Performance with Economic Reward: Cognitive Feedback, Emotional Induction, and Social Pressure on Decision Making. 737-743 - Gang Ma, Xi Yang, Bo Zhang, Baoyuan Qi, Zhongzhi Shi:
An Environment Visual Awareness Approach in Cognitive Model ABGP. 744-751
Session: Decision Support Systems - 2
- Massimo Gallerani, Dario Pelizzola, Marcello Pivanti, Giovanni Guerra, Michela Boni, Evelina Lamma, Elena Bellodi:
Reducing Laboratory Examinations by a Computer-Aided Clinical Decision Support System. 752-759 - Manel Ayadi, Nahla Ben Amor:
Multi-round Vote Elicitation for Manipulation under Candidate Uncertainty. 760-767 - Joel Luis Carbonera, Mara Abel:
A Density-Based Approach for Instance Selection. 768-774 - Giovanna Sannino, Ivanoe De Falco, Giuseppe De Pietro:
Genetic Programming for a Wearable Approach to Estimate Blood Pressure Embedded in a Mobile-Based Health System. 775-783
Session: Recognition and Classification
- Hui Wei, Wenzhang Cheng:
A Shape Recognition Method Based on Syntax-Automaton. 784-790 - Andrea Pennisi, Domenico Daniele Bloisi, Daniele Nardi, Anna Rita Giampetruzzi, Chiara Mondino, Antonio Facchiano:
Melanoma Detection Using Delaunay Triangulation. 791-798 - Chowdhury Farhan Ahmed, Md. Samiullah, Nicolas Lachiche, Meelis Kull, Peter A. Flach:
Reframing in Frequent Pattern Mining. 799-806 - Asma ElAdel, Ridha Ejbali, Mourad Zaied, Chokri Ben Amar:
Dyadic Multi-resolution Analysis-Based Deep Learning for Arabic Handwritten Character Classification. 807-812
Session: CSP/SAT - 3
- Jeremias Berg, Paul Saikko, Matti Järvisalo:
Re-using Auxiliary Variables for MaxSAT Preprocessing. 813-820 - André Abramé, Djamal Habet:
Local Search Algorithm for the Partial Minimum Satisfiability Problem. 821-827 - Diarmuid Grimes, Barry Hurley, Deepak Mehta, Barry O'Sullivan:
Large Neighbourhood Search for Energy-Efficient Train Timetabling. 828-835 - Vincent Armant, Nahid Mahbub, Kenneth N. Brown:
Maximising the Number of Participants in a Ride-Sharing Scheme: MIP Versus CP Formulations. 836-843 - Anicet Bart, Charlotte Truchet, Éric Monfroy:
Verifying a Real-Time Language with Constraints. 844-851 - Bertrand Neveu, Martin de La Gorce, Gilles Trombettoni:
Improving a Constraint Programming Approach for Parameter Estimation. 852-859
Session: Searching and Scheduling - 3
- Daeseong Jong, Ickhwan Kwon, Donghyun Goo, DoHoon Lee:
Safe Pathfinding Using Abstract Hierarchical Graph and Influence Map. 860-865 - Foteini Grivokostopoulou, Isidoros Perikos, Ioannis Hatzilygeroudis:
Estimating the Difficulty of Exercises on Search Algorithms Using a Neuro-Fuzzy Approach. 866-872 - Raluca Necula, Mihaela Breaban, Madalina Raschip:
Tackling the Bi-criteria Facet of Multiple Traveling Salesman Problem with Ant Colony Systems. 873-880 - Yue Fan, Hailong Sun, Xudong Liu:
Truthful Incentive Mechanisms for Dynamic and Heterogeneous Tasks in Mobile Crowdsourcing. 881-888