5216 search results - page 527 / 1044 » Planning as Model Checking |
168
click to vote
ECIS
2000
15 years 8 months ago
2000
This paper describes a plan to combine IT support for major tertiary hospitals through to independent GPs under a single application support provider. The objectives of the centre ...
179
click to vote
WSC
1997
15 years 8 months ago
1997
Healthcare is a rapidly changing industry, and facilities are struggling to find tools to enhance their ability to keep up with the change. Healthcare staff have generally adapted...
185
click to vote
DAGSTUHL
1996
15 years 8 months ago
1996
ating Spatial Representations at Multiple Levels of Abstraction in a Replicated Multilayered Architecture for Robot Control ALBERTO ELFES Presented in the 1996 Dagstuhl Seminar 963...
168
click to vote
CCE
2005
15 years 6 months ago
2005
A large body of work exists in process industry supply chain optimisation. We describe the state of the art of research in infrastructure design, modelling and analysis and planni...
192
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...