1712 search results - page 189 / 343 » Abstract Constraint Data Types |
OTM
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Representing and reasoning over evolving objects has been investigated widely. Less attention has been devoted to the similar notion of relation migration, i.e., how tupl...
ACCV
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. This paper proposes a method for phase registration of a single non-parametric quasi-periodic signal. After a short-term period has been detected for each sample by norma...
127
click to vote
IJRR
2011
14 years 6 months ago
2011
Abstract People typically move and act under the constraints of an environment, making human behavior strongly place-dependent. Motion patterns, the places and the rates at which p...
104
click to vote
SEFM
2006
IEEE
15 years 5 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
3DPH
2009
15 years 14 days ago
2009
Abstract. A common problem in optical motion capture of human-body movement is the so-called missing marker problem. The occlusion of markers can lead to significant problems in tr...