132 search results - page 9 / 27 » Polite Theories Revisited |
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
We describe a new framework for globally solving the 3D-3D registration problem with unknown point correspondences. This problem is significant as it is frequently encountered in ...
FOSSACS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
SIAMAM
2002
13 years 7 months ago
2002
In this paper, we revisit experiments in which a thin liquid film forms at the tip of a capillary meniscus due to the presence of a thermally induced Marangoni shear stress. Starti...
SASN
2004
ACM
14 years 24 days ago
2004
ACM
Key management is one of the fundamental building blocks of security services. In a network with resource constrained nodes like sensor networks, traditional key management techni...
SGP
2007
13 years 9 months ago
2007
We present two methods for lossy compression of normal vectors through quantization using "base" polyhedra. The first revisits subdivision-based quantization. The second...