5216 search results - page 628 / 1044 » Planning as Model Checking |
147
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Better physiological understanding of principles regulating vascular formation and growth is mandatory to their efficient modeling for the purpose of physiologically oriented medi...
163
click to vote
ICAT
2003
IEEE
16 years 2 days ago
2003
IEEE
The motivation for this project was to find a way to give engineers, and the community affected by Civil Engineering work, information that is often difficult to visualise via com...
182
click to vote
SCAI
2008
15 years 8 months ago
2008
We propose a troubleshooting algorithm that can troubleshoot systems with dependent action costs. When actions are performed they may change the way the system is decomposed and af...
151
click to vote
WSC
2001
15 years 8 months ago
2001
As the semiconductor industry moves into the next millennium, companies increasingly will be faced with production obstacles that impede their ability to remain competitive. Effec...
187
click to vote
AAAI
2000
15 years 8 months ago
2000
Intelligent user interfaces often rely on modified applications and detailed application models. Such modifications and models are expensive to build and maintain. We propose to a...