Sciweavers

3305 search results - page 297 / 661
» Models and Modeling Infrastructures for Global Computational...
Sort
View
ECCV
2006
Springer
16 years 6 months ago
Real-Time Non-rigid Shape Recovery Via Active Appearance Models for Augmented Reality
One main challenge in Augmented Reality (AR) applications is to keep track of video objects with their movement, orientation, size, and position accurately. This poses a challengin...
Jianke Zhu, Steven C. H. Hoi, Michael R. Lyu
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 3 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
ICS
2009
Tsinghua U.
15 years 11 months ago
Performance modeling and automatic ghost zone optimization for iterative stencil loops on GPUs
Iterative stencil loops (ISLs) are used in many applications and tiling is a well-known technique to localize their computation. When ISLs are tiled across a parallel architecture...
Jiayuan Meng, Kevin Skadron
COMPGEOM
2001
ACM
15 years 8 months ago
Computing a 3-dimensional cell in an arrangement of quadrics: exactly and actually!
We present two approaches to the problem of calculating a cell in a 3-dimensional arrangement of quadrics. The first approach solves the problem using rational arithmetic. It work...
Nicola Geismann, Michael Hemmer, Elmar Schöme...
PAMI
2002
112views more  PAMI 2002»
15 years 4 months ago
Feature Space Trajectory Methods for Active Computer Vision
We advance new active object recognition algorithms that classify rigid objects and estimate their pose from intensity images. Our algorithms automatically detect if the class or p...
Michael A. Sipe, David Casasent