2366 search results - page 14 / 474 » Mapping time |
123
click to vote
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
112
click to vote
ISBI
2008
IEEE
15 years 11 months ago
2008
IEEE
The use of X-ray CT images for CT-based attenuation correction (CTAC) of PET data results in the decrease of overall scanning time and creates a noise-free attenuation map (μmap)...
142
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— In this paper we propose an algorithm to determine the location of a vehicle in an environment represented by a stochastic map, given a set of environment measurements ...
192
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— To operate outdoors or on non-flat surfaces, mobile robots need appropriate data structures that provide a compact representation of the environment and at the same time suppo...
124
Voted
ISVC
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a method to add fine details, such as wrinkles and bulges, on a virtual face animated by common skinning techniques. Our system is based on a small set of refe...