2771 search results - page 418 / 555 » Locality of Queries and Transformations |
164
click to vote
ICRA
2006
IEEE
16 years 15 days ago
2006
IEEE
— This paper describes a 3D SLAM system using information from an actuated laser scanner and camera installed on a mobile robot.The laser samples the local geometry of the enviro...
173
click to vote
IMR
2003
Springer
15 years 11 months ago
2003
Springer
We present a new mesh warping algorithm for tetrahedral meshes based upon weighted laplacian smoothing. We start with a 3D domain which is bounded by a triangulated surface mesh a...
177
click to vote
RTAS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we propose a dynamic constraint transformation technique for ensuring timing requirements in a distributed real-time system possessing periodically synchronized dist...
160
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
151
click to vote
JMIV
2006
15 years 6 months ago
2006
The so-called General Adaptive Neighborhood Image Processing (GANIP) approach is presented in a two parts paper dealing respectively with its theoretical and practical aspects. The...