8917 search results - page 1572 / 1784 » Abstraction in Algorithm Animation |
151
click to vote
CIIA
2009
15 years 5 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
163
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
152
click to vote
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Automatic detection of symmetries, regularity, and repetitive structures in 3D geometry is a fundamental problem in shape analysis and pattern recognition with applicatio...
155
click to vote
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper presents an exemplar-based approach to detecting and localizing human actions, such as running, cycling, and swinging, in realistic videos with dynamic backgro...
153
click to vote
ECWEB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Many current recommender systems exploit textual annotations (tags) provided by users to retrieve and suggest online contents. The text-based recommendation provided by t...