1146 search results - page 35 / 230 » Reconstructing Subsets of Reals |
IROS
2008
IEEE
14 years 5 months ago
2008
IEEE
— Building an accurate three dimensional map is an important task for autonomous localisation and navigation. In a sequential approach to reconstruction from video streams, we sh...
3DPVT
2002
IEEE
14 years 4 months ago
2002
IEEE
Reconstruction of 3D models from range images usually focuses on complex objects completely contained in the field of view. Using range images to reconstruct a whole environment ...
CONCUR
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
DCG
2010
13 years 11 months ago
2010
We study the multiplicity modulo 2 of real analytic hypersurfaces. We prove that, under some assumptions on the singularity, the multiplicity modulo 2 is preserved by subanalytic b...
ICFEM
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...