4099 search results - page 721 / 820 » A Framework for Interactive Proof |
116
Voted
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
We present a dynamic controller to physically simulate underactuated three-dimensional full-body biped locomotion. Our datadriven controller takes motion capture reference data to...
134
Voted
CGI
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we articulate a new modeling paradigm for both local and global editing on complicated point set surfaces of arbitrary topology. In essence, the proposed technique l...
128
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
157
click to vote
DILS
2006
Springer
15 years 7 months ago
2006
Springer
Public biological databases contain vast amounts of rich data that can also be used to create and evaluate new biological hypothesis. We propose a method for link discovery in biol...
139
click to vote
ECML
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Approximate Policy Iteration (API) is a reinforcement learning paradigm that is able to solve high-dimensional, continuous control problems. We propose to exploit API for...