1036 search results - page 183 / 208 » A System for View-Dependent Animation |
105
click to vote
CGF
2008
15 years 1 months ago
2008
We present the Memory Trace Visualizer (MTV), a tool that provides interactive visualization and analysis of the sequence of memory operations performed by a program as it runs. A...
117
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
129
click to vote
DEBU
2006
15 years 1 months ago
2006
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...
81
Voted
IJRR
2006
15 years 1 months ago
2006
The spring-loaded inverted pendulum (SLIP) is a simple, passivelyelastic two-degree-of-freedom model for legged locomotion that describes the center-of-mass dynamics of many anima...
113
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Sequential change diagnosis is the joint problem of detection and identification of a sudden and unobservable change in the distribution of a random sequence. In this problem, the...