2648 search results - page 345 / 530 » Worlds, Models, and KM |
176
click to vote
AIML
2006
15 years 8 months ago
2006
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...
178
click to vote
GEOINFO
2004
15 years 8 months ago
2004
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...
181
click to vote
APBC
2003
15 years 8 months ago
2003
While medical progress has been made in the diagnosis and treatment of heart diseases it remains the biggest killer in the western world. Cardiovascular diseases cause considerabl...
194
click to vote
GRAPHICSINTERFACE
2001
15 years 8 months ago
2001
Weathering phenomena represent a topic of growing interest in computer graphics, and corrosion reactions are of great importance since they affect a large number of different fiel...
160
click to vote
AAAI
2000
15 years 8 months ago
2000
If robotic agents are to act autonomously they must have the ability to construct and reason about models of their physical environment. For example, planning to achieve goals req...