NDLI: Copyright Page

Please wait, while we are loading the content...

2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI)

2014 IEEE 26th International Conference on Tools with Artificial Intelligence

Table of contents

Message from the ICTAI 2014 General Chair

Message from the ICTAI 2014 Program Chair

ICTAI 2014 Organizing Committees

ICTAI 2014 Program Committee

Message from the Special Track on SAT and CSP Technologies Co-Chairs

Special Track on SAT and CSP Technologies Program Committee

Special Track on SAT and CSP Technologies Additional Reviewers

Solve a Constraint Problem without Modeling It

Maintaining Virtual Arc Consistency Dynamically during Search

Probing-Based Variable Selection Heuristics for NCSPs

Estimating Upper Bounds for Improving the Filtering in Interval Branch and Bound Optimizers

Reframing Continuous Input Attributes

Learning First Order Rules from Ambiguous Examples

Application of Machine Learning to Algorithm Selection for TSP

An Adaptive Strategy to Adjust the Components of Memetic Algorithms

A Comparative Study of Extreme Learning Machine Pruning Based on Detection of Linear Independence

Hybridization of Support Vector Regression and Firefly Algorithm for Diarrhoeal Outpatient Visits Forecasting

Adversarial Cooperative Path-Finding: Complexity and Algorithms

Plan Selection for Probabilistic BDI Agents

Anytime Planning for Web Service Composition via Alternative Plan Merging

A Numeric PDDL Based Approach for Temporally Constrained Journey Problems

Contextual-Timed Planning Management for Ambient Systems

Planning and Acting with Temporal and Hierarchical Decomposition Models

Ontology View Extraction: An Approach Based on Ontological Meta-properties

An Ontology-Based Automatic Approach for Lithologic Correlation

A Semantic Approach for Ontology Evaluation

On the Characterization of Inconsistency: A Prime Implicates Based Framework

A Syntactic Approach to Revising Epistemic States with Uncertain Inputs

Massively Parallel Reasoning under the Well-Founded Semantics Using X10

Utilitarian and Egalitarian Solutions for Multi-objective Constraint Optimization

Constraint-Based Local Search for the Distance- and Capacity-Bounded Network Design Problem

Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine for Ten)

Triangulation Versus Graph Partitioning for Tackling Large Real World Qualitative Spatial Networks

An SVM Plait for Improving Affect Recognition in Intelligent Tutoring Systems

A Personalized User Evaluation Model for Web-Based Learning Systems

A Support System for the Capitalization and the Exploitation of Expert Knowledge

Collaborative Ranking via Learning Social Experts

Multi-label Classification: Dealing with Imbalance by Combining Labels

Using Neural Networks in the Identification of Signatures for Prediction of Alzheimer's Disease

Clustering Human Wrist Pulse Signals via Multiple Criteria Decision Making

k-Intervals: A New Extension of the k-Means Algorithm

Categorical Data Clustering: A Correlation-Based Approach for Unsupervised Attribute Weighting

A Supervised Feature Selection Algorithm through Minimum Spanning Tree Clustering

An Entropy-Based Subspace Clustering Algorithm for Categorical Data

Temporal and Spatial Clustering for a Parking Prediction Service

CHOROS 2: Improving the Performance of Qualitative Spatial Reasoning in OWL

Synthesis of Cognitive Maps and Applications

A Space Efficient Scheme for Persistent Graph Representation

A Graphical Language to Query Conceptual Graphs

CHRONOS: Improving the Performance of Qualitative Temporal Reasoning in OWL

Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes

Multiple Contraction through Partial-Max-SAT

SAT-Based Approaches to Treewidth Computation: An Evaluation

Local Max-Resolution in Branch and Bound Solvers for Max-SAT

A Practical Negotiation-Based Team Formation Model for Non-cooperative Social Networks

Community Detection in Multidimensional Networks

Identifying Significant Places Using Multi-day Call Detail Records

Multi-objective Approach for Local Community Computation

Networked Reinforcement Social Learning towards Coordination in Cooperative Multiagent Systems

SBMF: Similarity-Based Matrix Factorization for Collaborative Recommendation

Robust Plan Execution in Multi-agent Environments

Agent Division and Fusion for Task Execution in Undependable Multiagent Systems

DNVA: A Tool for Visualizing and Analyzing Multi-agent Learning in Networks

Evaluation of Communication in Multiagent Systems for Supply Chain Planning and Control

Dependency-Topic-Affects-Sentiment-LDA Model for Sentiment Analysis

Sentiment Analysis: Towards a Tool for Analysing Real-Time Students Feedback

Multi-label Emotion Classification for Tweets in Weibo: Method and Application

Small Unsatisfiable Subsets in Constraint Satisfaction

Hidden Tractable Classes: From Theory to Practice

Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT

Quality over Quantity in Soft Constraints

A Hybrid Sentiment Lexicon for Social Media Mining

A Novel Approach for Detecting Community Structure in Networks

Conversation Emotional Modeling in Social Networks

Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation

Tri-Rank: An Authority Ranking Framework in Heterogeneous Academic Networks by Mutual Reinforce

A Multi-agent Homophily-Based Approach for Community Detection in Social Networks

Intelligent Models for Predicting the Thrust Force and Perpendicular Vibrations in Microdrilling Processes

Towards Optimal Decision Guidance for Smart Grids with Integrated Renewable Generation and Water Desalination

A Risk Assessment and Alerting System for Maritime Attacks

Fine-Tuning of UAV Control Rules for Spraying Pesticides on Crop Fields

Determination of Soil Damage by Fuzzy Analysis

Model-Checking an Ecosystem Model for Decision-Aid

A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database

Mining Relevant Sequence Patterns with CP-Based Framework

Designing an Optical Island in the Core Network: From Routing to Spectrum Allocation

Minimizing the Driving Distance in Ride Sharing Systems

A Novel Contextual Topic Model for Query-Focused Multi-document Summarization

Text Summarization Based on Sentence Selection with Semantic Representation

From NL Preference Expressions to Comparative Preference Statements: A Preliminary Study in Eliciting Preferences for Customised Decision Support

Real Text-CS - Corpus Based Domain Independent Content Selection Model

XML Document Co-clustering via Non-negative Matrix Tri-factorization

Reflecting Comprehension through French Textual Complexity Factors

Two-Stage Multiclassifier System with Correction of Competence of Base Classifiers Applied to the Control of Bioprosthetic Hand

Full Body Person Identification Using the Kinect Sensor

Knowledge Transfer for Reducing Calibration Time in Brain-Computer Interfacing

An HMM-Based Gesture Recognition Method Trained on Few Samples

Intelligent Management of Brain Markers for Early Prognosis of the Spatiotemporal Growth of Gliomas

A Minimal Spanning Tree Analysis of EEG Responses to Complex Visual Stimuli

Ramification Algorithm for Transporting Routes in R2

Model-Based Anomaly Detection for Discrete Event Systems

On Diagnosis of Violations of Constraints in Petri Net Models of Discrete Event Systems

A Comparative Analysis of Two Multi-objective Evolutionary Algorithms in Product Line Architecture Design Optimization

nso-HSVI: A Not-So-Optimistic Heuristic Search Value Iteration Algorithm for POMDPs

Reveiling Complexity-Related Time-Series Features with the Monotonic Aggregation Transform

Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving

Communication in Massively-Parallel SAT Solving

Building Portfolios for Parallel Constraint Solving by Varying the Local Consistency Applied

Efficient Relaxations of Over-constrained CSPs

Mutual Information-Based Feature Selection from Set-Valued Data

Strategies for Big Data Clustering

On a Fuzzy Algebra for Querying Graph Databases

Random Generation and Population of Probabilistic Relational Models and Databases

Detecting and Describing Historical Periods in a Large Corpora

An Integer Linear Programming Scheme to Sanitize Sensitive Frequent Itemsets

Arg Teach - A Learning Tool for Argumentation Theory

Removed Set-Based Revision of Abstract Argumentation Frameworks

Microdebates App for Android: A Tool for Participating in Argumentative Online Debates Using a Handheld Device

Efficient Solution for Credulous/Sceptical Acceptance in Lower-Order Dung's Semantics

Argumentation-Based Collaborative Decisions for Design

A Pendulum Effect of Expert Playing in Games

TCMF: Trust-Based Context-Aware Matrix Factorization for Collaborative Filtering

Graph-Based Hierarchical Video Summarization Using Global Descriptors

Partition Clustering for GIS Map Data Protection

Automated Generation of Region Based Geometric Questions

Asynchronous Computing of a Discrete Voronoi Diagram on a Cellular Automaton Using 1-Norm: Application to Roadmap Extraction

An Effective Image Representation Method Using Kernel Classification

Computing Skypattern Cubes Using Relaxation

Using a SMT Solver for Risk Analysis: Detecting Logical Mistakes in Texts

Compact Representations of Cooperative Path-Finding as SAT Based on Matchings in Bipartite Graphs

The Cut Tool for QCSP

A Generic Algorithmic Framework to Solve Special Versions of the Set Partitioning Problem

Extrapolating from Limited Uncertain Information to Obtain Robust Solutions for Large-Scale Optimization Problems

Online Stochastic Planning for Taxi and Ridesharing

An Approach to Estimate Traffic Speed Based on Cellular Network Signaling Data on Highways

Dynamic Traffic Flow Prediction Based on GPS Data

An Application of Adapted A* Decentralized Approach for On Demand Transportation Problem

A Versatile Description Framework for Modeling Behaviors in Traffic Simulations

Modeling Local Gravity Anomaly Self-Adaption Quotient Reference Maps for Underwater Autonomous Navigation

Athena: A Visual Tool to Support the Development of Computational Intelligence Systems

Modeling and Supporting ETL Processes via a Pattern-Oriented, Task-Reusable Framework

A Sequence-Based Approach to Analysing and Representing Engineering Project Normality

An Introduction to the JADEL Programming Language

A Framework to Support the Selection of Software Technologies by Search-Based Strategy

Automated Model Revision for Coordinated Open Systems

HP Trend Filtering Using Gaussian Mixture Model Weighted Heuristic

Knowledge Complement for Monte Carlo Tree Search: An Application to Combinatorial Games

Publication Venue Recommendation Based on Paper Abstract

Trolls Identification within an Uncertain Framework

Information Quantity Based Automatic Reconstruction of Shredded Chinese Documents

Feature Selection Modelling for Percutaneous Absorption across Synthetic Membranes

Publisher's Information

2013 IEEE 25th International Conference on Tools with Artificial Intelligence

2012 IEEE 24th International Conference on Tools with Artificial Intelligence

2011 IEEE 23rd International Conference on Tools with Artificial Intelligence

2010 22nd IEEE International Conference on Tools with Artificial Intelligence

2009 21st IEEE International Conference on Tools with Artificial Intelligence

2008 20th IEEE International Conference on Tools with Artificial Intelligence

19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007)

2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06)

17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05)

16th IEEE International Conference on Tools with Artificial Intelligence

Proceedings. 15th IEEE International Conference on Tools with Artificial Intelligence

14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.

Proceedings 13th IEEE International Conference on Tools with Artificial Intelligence. ICTAI 2001

Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000

Proceedings 11th International Conference on Tools with Artificial Intelligence

Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence (Cat. No.98CH36294)

Proceedings Ninth IEEE International Conference on Tools with Artificial Intelligence

Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence

Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence

Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94

Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93)

Proceedings Fourth International Conference on Tools with Artificial Intelligence TAI '92

[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91

[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence

[Proceedings 1989] IEEE International Workshop on Tools for Artificial Intelligence

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in