17018 search results - page 3215 / 3404 » From the How to the What |
173
click to vote
SEFM
2006
IEEE
16 years 15 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
191
click to vote
3DGIS
2006
Springer
16 years 15 days ago
2006
Springer
The needs for three-dimensional (3D) visualization and navigation within 3D-GIS environment are growing and expanding rapidly in a variety of fields. In a steady shift from tradit...
181
click to vote
ACISP
2006
Springer
16 years 15 days ago
2006
Springer
Abstract. The emergence of computing environments where smart devices are embedded pervasively in the physical world has made possible many interesting applications and has trigger...
165
click to vote
ACIVS
2006
Springer
16 years 15 days ago
2006
Springer
Abstract. We present an algorithm for interpolating the visible portions of a point cloud that are sampled from opaque objects in the environment. Our algorithm projects point clou...
158
click to vote
ADBIS
2006
Springer
16 years 15 days ago
2006
Springer
Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...