4872 search results - page 649 / 975 » CBR for Modeling Complex Systems |
167
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This paper presents a novel approach based on Jacobi shape theory and geometric reduction for formation control of autonomous underwater vehicles (AUVs). We consider a three de...
153
click to vote
ACL
2009
15 years 4 months ago
2009
ProLiV - Animated Process-modeler of Complex (Computational) Linguistic Methods and Theories - is a fully modular, flexible, XML-based stand-alone Java application, used for compu...
240
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
179
click to vote
ECCV
1994
Springer
16 years 8 months ago
1994
Springer
Passive sensing of human hand and limb motion is important for a wide range of applications from human-computer interaction to athletic performance measurement. High degree of free...
161
Voted
BPM
2009
Springer
16 years 1 months ago
2009
Springer
The goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphic...