5232 search results - page 423 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
152
click to vote
IVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Basic communication and coordination mechanisms of human social interaction are assumed to be mediated by perception-action links. These links ground the observation and ...
173
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
As development techniques, paradigms and platforms evolve far more quickly than domain applications, software modernization and migration, is a constant challenge to software engin...
197
click to vote
ACRI
2006
Springer
16 years 25 days ago
2006
Springer
Robotic systems are usually built as independent agents that collaborate to accomplish a specific task. Analysis of robot path planning consists of route planning and path generati...
202
click to vote
EUROPAR
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
201
click to vote
MEMOCODE
2003
IEEE
16 years 3 days ago
2003
IEEE
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...