Sciweavers

Share
ICTAI
2008
IEEE
9 years 5 months ago
Information Extraction as an Ontology Population Task and Its Application to Genic Interactions
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
Alain-Pierre Manine, Érick Alphonse, Philip...
ICTAI
2008
IEEE
9 years 5 months ago
A Model for Multiple Outcomes Games
We introduce and study qualitative multiple outcomes games. These games are noncooperative games with qualitative utilities (i.e., values over an ordinal scale), strictly qualitat...
Ramzi Ben Larbi, Sébastien Konieczny, Pierr...
ICTAI
2008
IEEE
9 years 5 months ago
Computational Complexity of Web Service Composition Based on Behavioral Descriptions
The Web Service Composition (WSC) problem on behavioral descriptions deals with the automatic construction of a coordinator web service to control a set of web services to reach t...
Hyunyoung Kil, Wonhong Nam, Dongwon Lee
ICTAI
2008
IEEE
9 years 5 months ago
Classifying Spend Descriptions with Off-the-Shelf Learning Components
Analyzing spend transactions is essential to organizations for understanding their global procurement. Central to this analysis is the automated classification of these transacti...
Saikat Mukherjee, Dmitriy Fradkin, Michael Roth
ICTAI
2008
IEEE
9 years 5 months ago
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses
These last years, the issue of locating and explaining contradictions inside sets of propositional clauses has received a renewed attention due to the emergence of very efficient...
Éric Grégoire, Bertrand Mazure, C&ea...
ICTAI
2008
IEEE
9 years 5 months ago
Automatic Design of Robot Behaviors through Constraint Network Acquisition
Control architectures, such as the LAAS architecture [1], CLARATY [12] and HARPIC [9], have been developped to provide autonomy to robots. To achieve a robot’s task, these contr...
Mathias Paulin, Christian Bessiere, Jean Sallantin
ICTAI
2008
IEEE
9 years 5 months ago
Haplotype Inference with Boolean Constraint Solving: An Overview
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...
Inês Lynce, Ana Graça, João Ma...
ICTAI
2008
IEEE
9 years 5 months ago
A General Technique for Plan Repair
In real world we have to deal with changing situations which may partially or entirely invalidate an executable plan. Current strategies for plan repair are basically aimed at sol...
Marlene Arangú, Antonio Garrido, Eva Onaind...
ICTAI
2008
IEEE
9 years 5 months ago
A Pyramidal Neural Network Based on Nonclassical Receptive Field Inhibition
This paper presents a new artificial neural network, called I-PyraNet. This new architecture is based on the combination between concepts of the recently described PyraNet and th...
Bruno J. T. Fernandes, George D. C. Cavalcanti
ICTAI
2008
IEEE
9 years 5 months ago
The System BioC for Reasoning about Biological Models in Action Language C
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
Steve Dworschak, Torsten Grote, Arne König, T...
books