5216 search results - page 337 / 1044 » Planning as Model Checking |
134
Voted
ICML
1990
IEEE
15 years 9 months ago
1990
IEEE
Given an adequate simulation model of the task environment and payoff function that measures the quality of partially successful plans, competition-based heuristics such as geneti...
123
click to vote
WSC
2007
15 years 7 months ago
2007
Recent reports have established the need for change in the US health system. Building projects can play an important role in enabling change to support organizational objectives. ...
117
Voted
ATMOS
2009
15 years 6 months ago
2009
We present a set of three new time-dependent models with increasing flexibility for realistic route planning in flight networks. By these means, we obtain small graph sizes while m...
110
click to vote
ESWA
2008
15 years 5 months ago
2008
In this paper, we present samap, whose goal is to build a software tool to help different people visit different cities. This tool integrates modules that dynamically capture user...
160
click to vote
MICCAI
2004
Springer
15 years 10 months ago
2004
Springer
Flexible needle insertion into viscoelastic tissue is modeled in this paper with a linear beam supported by virtual springs. Using this simplified model, the forward and inverse ki...