2008 search results - page 176 / 402 » Computing with Equations |
172
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents a physics-based locomotion controller based on online planning. At each time-step, a planner optimizes locomotion over multiple phases of gait. Stance dynamics...
205
click to vote
CONCUR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
160
click to vote
LICS
2008
IEEE
16 years 27 days ago
2008
IEEE
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
140
click to vote
ICCV
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper considers an application of scale-invariant feature detection using scale-space analysis suitable for use with wide field of view cameras. Rather than obtain scalespac...
179
click to vote
ACCV
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper proposes a fast method for dense 3-D interpretation to directly estimate a dense map of relative depth and motion from a monocular sequence of images on large ...