805 search results - page 35 / 161 » Semantic Modeling of Places using Objects |
120
Voted
WSC
1998
15 years 5 months ago
1998
Simulation at the machine-control level plays an important role in designing machine controls and operational specifications. Recently, there has been a considerable amount of wor...
172
Voted
AIIDE
2009
15 years 4 months ago
2009
Design of game worlds is becoming more and more laborintensive because of the increasing demand and complexity of content. This is being partially addressed by developing semi-aut...
143
Voted
TSE
2002
15 years 3 months ago
2002
Fluid (or Hybrid) Petri Nets with flush-out arcs are Petri net based models with two classes of places: discrete places that carry a natural number of distinct objects (tokens), a...
131
Voted
GEOS
2007
Springer
15 years 9 months ago
2007
Springer
Spatial and temporal data are critical components in many applications. This is especially true in analytical domains such as national security and criminal investigation. Often, t...
134
Voted
TACAS
1999
Springer
15 years 7 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...