7890 search results - page 30 / 1578 » The MathSAT 3 System |
ICALP
1994
Springer
14 years 21 days ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
AGIS
1998
13 years 8 months ago
1998
With the development of modern cities, 3-D spatial information systems (SIS) are increasingly required for spatial planning, communication systems and other applications. The geom...
DCC
1998
IEEE
13 years 8 months ago
1998
IEEE
Hill [6] showed that the largest cap in PG(5, 3) has cardinality 56. Using this cap it is easy to construct a cap of cardinality 45 in AG(5, 3). Here we show that the size of a cap...
JEI
2006
13 years 8 months ago
2006
We present our research efforts toward the deployment of 3-D sensing technology to an under-vehicle inspection robot. The 3-D sensing modality provides flexibility with ambient lig...
ISVC
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Several existing procedural modeling systems are able to generate large 3D models of cities. However, none of these systems can automatically create 3D models of freeways...