Sciweavers

2115 search results - page 245 / 423
» Semantic structure from motion
Sort
View
SIGGRAPH
2010
ACM
15 years 11 months ago
Gesture controllers
We introduce gesture controllers, a method for animating the body language of avatars engaged in live spoken conversation. A gesture controller is an optimal-policy controller tha...
Sergey Levine, Philipp Krähenbühl, Sebastian Thr...
TOG
2002
82views more  TOG 2002»
15 years 6 months ago
Stable but responsive cloth
We present a semi-implicit cloth simulation technique that is very stable yet also responsive. The stability of the technique allows the use of a large fixed time step when simula...
Kwang-Jin Choi, Hyeong-Seok Ko
PAMI
2007
222views more  PAMI 2007»
15 years 6 months ago
MonoSLAM: Real-Time Single Camera SLAM
—We present a real-time algorithm which can recover the 3D trajectory of a monocular camera, moving rapidly through a previously unknown scene. Our system, which we dub MonoSLAM,...
Andrew J. Davison, Ian D. Reid, Nicholas Molton, O...
FM
2008
Springer
192views Formal Methods» more  FM 2008»
15 years 8 months ago
CoVaC: Compiler Validation by Program Analysis of the Cross-Product
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
Anna Zaks, Amir Pnueli
PERCOM
2004
ACM
16 years 6 months ago
Dynamic Federation of Partitioned Applications in Ubiquitous Computing Environments
A framework for the dynamic aggregation of ubiquitous computers is presented. The framework aggregates applications from more than one mobile component that can migrate from compu...
Ichiro Satoh