Sciweavers

772 search results - page 86 / 155
» Constructing Visual Models with a Latent Space Approach
Sort
View
CVPR
2006
IEEE
16 years 3 months ago
Element-Free Elastic Models for Volume Fitting and Capture
We present a new method of fitting an element-free volumetric model to a sequence of deforming surfaces of a moving object. Given a sequence of visual hulls, we iteratively fit an...
Jaeil Choi, Andrzej Szymczak, Greg Turk, Irfan A. ...
AVSS
2008
IEEE
15 years 8 months ago
Person Tracking with Audio-Visual Cues Using the Iterative Decoding Framework
Tracking humans in an indoor environment is an essential part of surveillance systems. Vision based and microphone array based trackers have been extensively researched in the pas...
Shankar T. Shivappa, Mohan M. Trivedi, Bhaskar D. ...
TACAS
2005
Springer
88views Algorithms» more  TACAS 2005»
15 years 7 months ago
Shortest Counterexamples for Symbolic Model Checking of LTL with Past
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
Viktor Schuppan, Armin Biere
CHI
1995
ACM
15 years 5 months ago
The ScienceWare Modeler: a learner-centered tool for students building models
The Modeler is designed using a learner-centered approach [5], with scaffolding to address the specific needs of learners. Scaffolding [3] is an educational term that refers to pro...
Shari L. Jackson
CVPR
2012
IEEE
13 years 4 months ago
Center-Shift: An approach towards automatic robust mesh segmentation (ARMS)
In the area of 3D shape analysis, research in mesh segmentation has always been an important topic, as it is a fundamental low-level task which can be utilized in many application...
Mengtian Sun, Yi Fang, Karthik Ramani