3053 search results - page 296 / 611 » Structured Objects: Modeling and Reasoning |
224
click to vote
GIS
2004
ACM
16 years 5 months ago
2004
ACM
In the geometric data model [6], spatio-temporal data are modelled as a finite collection of triangles that are transformed by time-dependent affinities. To facilitate querying an...
138
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
241
click to vote
GIS
2009
ACM
16 years 5 months ago
2009
ACM
A parallel version of the plane sweep algorithm targeted towards the small number of processing cores available on commonly available multi-core systems is presented. Experimental...
120
click to vote
MVA
1994
15 years 5 months ago
1994
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...
140
click to vote
MICCAI
2003
Springer
16 years 5 months ago
2003
Springer
Abstract. Knowledge of brain aneurysm dimensions is essential in minimally invasive surgical interventions using Guglielmi Detachable Coils. These parameters are obtained in clinic...