5216 search results - page 938 / 1044 » Planning as Model Checking |
148
Voted
ICRA
1999
IEEE
15 years 7 months ago
1999
IEEE
With the success of Mars Pathfinder's Sojourner rover, a new era of planetary exploration has opened, with demand for highly capable mobile robots. These robots must be able ...
138
Voted
RIDE
1999
IEEE
15 years 7 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
124
click to vote
DEXAW
1998
IEEE
15 years 7 months ago
1998
IEEE
Huge size and high complexity of legacy software are the main sources of today's software evolution problems. While we can ease software evolution with re-engineering tools, ...
150
click to vote
IFIP
1999
Springer
15 years 7 months ago
1999
Springer
: In a relatively short period of time, educational technology has become a basic component of the instructional life of almost every College or University around the world. The wa...
114
click to vote
ICRA
1998
IEEE
15 years 7 months ago
1998
IEEE
The bow leg hopper is a new design for a locomoting system with a resilient, flexible leg. It features a passive stance phase and natural pitch stability. It is controlled with ac...