7167 search results - page 1130 / 1434 » A Technique for Invariant Generation |
195
Voted
SIGGRAPH
2010
ACM
15 years 11 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...
215
Voted
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
213
click to vote
AMDO
2006
Springer
15 years 11 months ago
2006
Springer
This paper considers the problem of monocular human body tracking using learned models. We propose to learn the joint probability distribution of appearance and body pose using a m...
178
Voted
ASWEC
2004
IEEE
15 years 11 months ago
2004
IEEE
The management of knowledge and experience are key means by which systematic software development and process improvement occur. Within the domain of Software Engineering (SE), qu...
200
click to vote
AUSAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Association rule mining is a data mining technique that reveals interesting relationships in a database. Existing approaches employ different parameters to search for int...