3022 search results - page 377 / 605 » From plans to planning: the case of nursing plans |
140
click to vote
ICRA
1993
IEEE
15 years 10 months ago
1993
IEEE
We report on our recently achieved spatial two-juggle: the ability to bat two freely falling balls into stable periodic vertical trajectories with a single three degree of freedom...
175
click to vote
IFIP
1994
Springer
15 years 10 months ago
1994
Springer
In recent years, systems for processing environmental information have been evolving from research and development systems to practical applications. Today, many of these systems ...
184
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. Complex business processes are usually realized by specifying the integration and interaction of smaller modular software components. For example, hitherto monolithic ent...
203
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
Much attention has been given to CONDENSATION methods for mobile robot localization. This has resulted in somewhat of a breakthrough in representing uncertainty for mobile robots....
187
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...