157 search results - page 2 / 32 » Incremental Compilation-to-SAT Procedures |
SPIN
1999
Springer
13 years 9 months ago
1999
Springer
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
ICSM
2005
IEEE
13 years 11 months ago
2005
IEEE
In the context of software maintenance, legacy software systems are continuously re-engineered in order to correct errors, provide new functionality, or port them into modern plat...
APSEC
2001
IEEE
13 years 9 months ago
2001
IEEE
With the rapid growth of the Internet and pervasive computing activities, the migration of back-end legacy systems to network centric environments has become a focal point for res...
HRI
2007
ACM
13 years 9 months ago
2007
ACM
We present an approach to teach incrementally human gestures to a humanoid robot. The learning process consists of first projecting the movement data in a latent space and encodin...
IJRR
2000
13 years 5 months ago
2000
This paper prescribes an incremental procedure to construct roadmaps of unknown environments. Recall that a roadmap is a geometric structure that a robot uses to plan a path betwe...