2178 search results - page 185 / 436 » Inferring complex plans |
99
Voted
WSC
2000
15 years 5 months ago
2000
The paper deals with a simulation study on a planned production plant in the brick industry. We implemented this plant in TAYLOR II. Although the boundary conditions seemed relati...
109
click to vote
IJCAI
1989
15 years 5 months ago
1989
Many potential uses of qualitative physics, such as robot planning and intelligent computer-aided engineering, require integrating physics with actions taken by agents. This paper...
187
click to vote
CGA
2002
15 years 3 months ago
2002
Populated urban environments are very important in many applications such as urban planning and entertainment. However rendering in real time many people in a complex environment ...
181
Voted
HAIS
2011
Springer
14 years 7 months ago
2011
Springer
The modelling of real-world complex systems is an area of ongoing interest for the research community. Real-world systems present a variety of challenges not least of which is the ...
123
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...