Sciweavers

2008 search results - page 176 / 402
» Computing with Equations
Sort
View
SIGGRAPH
2010
ACM
15 years 7 months ago
Robust physics-based locomotion using low-dimensional planning
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...
Igor Mordatch, Martin de Lasa, Aaron Hertzmann
152
Voted
CONCUR
2007
Springer
15 years 8 months ago
Rule-Based Modelling of Cellular Signalling
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
Vincent Danos, Jérôme Feret, Walter F...
113
Voted
LICS
2008
IEEE
15 years 9 months ago
A Logic for Algebraic Effects
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...
Gordon D. Plotkin, Matija Pretnar
102
Voted
ICCV
2007
IEEE
15 years 8 months ago
Scale-Invariant Features on the Sphere
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...
Peter Hansen, Peter Corke, Wageeh Boles, Kostas Da...
ACCV
2007
Springer
15 years 8 months ago
Fast 3-D Interpretation from Monocular Image Sequences on Large Motion Fields
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 ...
Jong-Sung Kim, Ki-Sang Hong