2008 search results - page 176 / 402 » Computing with Equations |
201
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...
229
click to vote
CONCUR
2007
Springer
16 years 1 months 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...
184
click to vote
LICS
2008
IEEE
16 years 1 months 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...
154
click to vote
ICCV
2007
IEEE
16 years 1 months 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...
191
click to vote
ACCV
2007
Springer
16 years 1 months 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 ...