Sciweavers

1142 search results - page 179 / 229
» Set Variables and Local Search
Sort
View
133
Voted
ECCV
2006
Springer
16 years 4 months ago
A Tuned Eigenspace Technique for Articulated Motion Recognition
In this paper, we introduce a tuned eigenspace technique so as to classify human motion. The method presented here overcomes those problems related to articulated motion and dress...
M. Masudur Rahman, Antonio Robles-Kelly
111
Voted
ECCV
2000
Springer
16 years 4 months ago
A Six Point Solution for Structure and Motion
The paper has two main contributions: The rst is a set of methods for computing structure and motion for m 3 views of 6 points. It is shown that a geometric image error can be mini...
Frederik Schaffalitzky, Andrew Zisserman, Richard ...
118
Voted
DATE
2008
IEEE
122views Hardware» more  DATE 2008»
15 years 9 months ago
Simulation-Directed Invariant Mining for Software Verification
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
Xueqi Cheng, Michael S. Hsiao
ACRI
2006
Springer
15 years 8 months ago
Optimal 6-State Algorithms for the Behavior of Several Moving Creatures
The goal of our investigation is to find automatically the absolutely best rule for a moving creature in a cellular field. The task of the creature is to visit all empty cells wi...
Mathias Halbach, Rolf Hoffmann, Lars Both
120
Voted
SIGIR
2003
ACM
15 years 7 months ago
Collaborative filtering via gaussian probabilistic latent semantic analysis
Collaborative filtering aims at learning predictive models of user preferences, interests or behavior from community data, i.e. a database of available user preferences. In this ...
Thomas Hofmann