Sciweavers

JELIA
1998
Springer
13 years 12 months ago
A Resolution Calculus for Dynamic Semantics
Appeared in: Dix, J., del Cerro, F. L., and Furbach, U., editors, Logics in Artificial Intelligence (JELIA'98), Lecture Notes in Artificial Intelligence 1489, Springer, pages...
Christof Monz, Maarten de Rijke
JELIA
1998
Springer
13 years 12 months ago
Implicates and Reduction Techniques for Temporal Logics
Inman P. de Guzmán, Manuel Ojeda-Aciego, Ag...
IEAAIE
1998
Springer
14 years 9 min ago
Generating Heuristics to Control Configuration Processes
Abstract. Configuration is the process of composing a system from a set of components such that the system fulfills a set of desired demands. The configuration process relies on a ...
Benno Stein
IEAAIE
1998
Springer
14 years 22 min ago
TURBIO: A System for Extracting Information from Restricted-Domain Texts
Jordi Turmo, Neus Català, Horacio Rodr&iacu...
IEAAIE
1998
Springer
14 years 27 min ago
Soft Computing and Hybrid AI Approaches to Intelligent Manufacturing
The application of pattern recognition (PR) techniques, artificial neural networks (ANNs), and nowadays hybrid artificial intelligence (AI) techniques in manufacturing can be regar...
Laszlo Monostori, József Hornyák, Cs...
IEAAIE
1998
Springer
14 years 29 min ago
Topological Modeling with Fuzzy Petri Nets for Autonomous Mobile Robots
In this paper a novel method of reference places' detection to build topological models is described, as well as an algorithm for route planning based on Fuzzy Petri Nets. The...
Javier de Lope Asiaín, Darío Maraval...
IEAAIE
1998
Springer
14 years 31 min ago
Managing the Usage Experience in a Library of Software Components
The users of libraries of object-oriented software components face with both a terminological and a cognitive gap. Usually, library users do not understand the vocabulary used in t...
Pedro A. González-Calero, Mercedes Gó...
IEAAIE
1998
Springer
14 years 32 min ago
State Estimation for Nonlinear Systems Using Restricted Genetic Optimization
Abstract. In this paper we describe a new nonlinear estimator for filtering systems with nonlinear process and observation models, based on the optimization with RGO (Restricted Ge...
Santiago Garrido, Luis Moreno, Carlos Balaguer
IEAAIE
1998
Springer
14 years 32 min ago
A Genetic Algorithm for Robust Motion Planning
Domingo Gallardo, Otto Colomina, Francisco Fl&oacu...
IEAAIE
1998
Springer
14 years 33 min ago
A Combined Probabilistic Framework for Learning Gestures and Actions
Abstract. In this paper we introduce a probabilistic approach to support visual supervision and gesture recognition. Task knowledge is both of geometric and visual nature and it is...
Francisco Escolano, Miguel Cazorla, Domingo Gallar...