4507 search results - page 312 / 902 » Generalized Binet dynamics |
165
click to vote
HRI
2006
ACM
16 years 18 days ago
2006
ACM
We present a model of human-like reaching movements. This model is then used to give a humanoid robot the ability to imitate human reaching motions. It illustrates that having a r...
161
click to vote
AI
2008
Springer
15 years 8 months ago
2008
Springer
Distance semantics is a robust way of handling dynamically evolving and possibly contradictory information. In this paper we show that in many cases distance-based entailments can ...
200
click to vote
FMOODS
2003
15 years 8 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
143
click to vote
IJFCS
2008
15 years 6 months ago
2008
In this paper we analyse the dynamics of one-dimensional piecewise maps (PAMs). We show that one-dimensional PAMs are equivalent to pseudo-billiard or so called "strange billi...
167
click to vote
TCS
2008
15 years 6 months ago
2008
Online unit clustering is a clustering problem where classification of points is done in an online fashion, but the exact location of clusters can be modified dynamically. We stud...