ICTAI
2008
IEEE
14 years 6 months ago
2008
IEEE
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...
ICTAI
2008
IEEE
14 years 6 months ago
2008
IEEE
Analyzing spend transactions is essential to organizations for understanding their global procurement. Central to this analysis is the automated classification of these transacti...
ICTAI
2008
IEEE
14 years 6 months ago
2008
IEEE
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...
ICTAI
2008
IEEE
14 years 6 months ago
2008
IEEE
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...
ICTAI
2008
IEEE
14 years 6 months ago
2008
IEEE
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...
ICTAI
2008
IEEE
14 years 6 months ago
2008
IEEE
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...
ICTAI
2008
IEEE
14 years 6 months ago
2008
IEEE
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...
ICTAI
2008
IEEE
14 years 6 months ago
2008
IEEE
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 ...
ICTAI
2008
IEEE
14 years 6 months ago
2008
IEEE
The last decade has seen a huge interest in classification of time series. Most of this work assumes that the data resides in main memory and is processed offline. However, recent...
ICTAI
2008
IEEE
14 years 6 months ago
2008
IEEE
