Sciweavers

12946 search results - page 2233 / 2590
» Natural Language Processing
Sort
View
HYBRID
2009
Springer
15 years 10 months ago
Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach
A 3D biped with knees and a hip is naturally modeled as a nontrivial hybrid system; impacts occur when the knee strikes and when the foot impacts the ground causing a switch in the...
Aaron D. Ames, Ryan W. Sinnet, Eric D. B. Wendel
ECCV
2010
Springer
15 years 9 months ago
Multiple Hypothesis Video Segmentation from Superpixel Flows
Multiple Hypothesis Video Segmentation (MHVS) is a method for the unsupervised photometric segmentation of video sequences. MHVS segments arbitrarily long video streams by consider...
SCA
2007
15 years 9 months ago
Guided time warping for motion editing
Time warping allows users to modify timing without affecting poses. It has many applications in animation systems for motion editing, such as refining motions to meet new timing c...
Eugene Hsu, Marco da Silva, Jovan Popovic
AAAI
2008
15 years 9 months ago
A Meta-Programming Technique for Debugging Answer-Set Programs
Answer-set programming (ASP) is widely recognised as a viable tool for declarative problem solving. However, there is currently a lack of tools for developing answer-set programs....
Martin Gebser, Jörg Pührer, Torsten Scha...
AAAI
2008
15 years 9 months ago
An Extended Interpreted System Model for Epistemic Logics
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...
Kaile Su, Abdul Sattar
« Prev « First page 2233 / 2590 Last » Next »