5216 search results - page 340 / 1044 » Planning as Model Checking |
140
click to vote
ISBI
2006
IEEE
16 years 5 months ago
2006
IEEE
A deformable registration method is proposed to register a brain atlas with tumor-bearing brain scans. The tumor mass effect is first simulated in the (normal) atlas, using a biom...
153
Voted
AI
2007
Springer
15 years 11 months ago
2007
Springer
DEC-POMDPs provide formal models of many cooperative multiagent problems, but their complexity is NEXP-complete in general. We investigate a sub-class of DEC-POMDPs termed multiage...
129
click to vote
FLAIRS
2008
15 years 7 months ago
2008
We are interested in building decision-support software for social welfare case managers. Our model in the form of a factored Markov decision process is so complex that a standard...
124
click to vote
WSC
2004
15 years 6 months ago
2004
This paper presents a study that uses simulation to improve shop floor performance by means of two layout types and certain operational parameters. In this study, an overview of t...
117
Voted
WSC
1998
15 years 6 months ago
1998
Simulation is used to verify the feasibility of the design of manufacturing cells. The cell design, which combines new and existing machines in a component manufacture, is present...