5216 search results - page 717 / 1044 » Planning as Model Checking |
170
click to vote
JIRS
2006
15 years 6 months ago
2006
The paper considers a technique for computation of the inverse kinematic model of the human arm. The approach is based on measurements of the hand position and orientation as well ...
179
click to vote
TROB
2008
15 years 6 months ago
2008
Affordances encode relationships between actions, objects and effects. They play an important role on basic cognitive capabilities such as prediction and planning. We address the p...
129
click to vote
EUROMED
2010
15 years 5 months ago
2010
Abstract. In this paper an alternative method for measuring the Classic Marathon Course using photogrammetric methodology is presented and examined. The course is surveyed in stere...
168
click to vote
MOR
2010
15 years 5 months ago
2010
We consider the mixed integer version of bipartite vertex cover. This is equivalent to the mixed integer network dual model, recently introduced in [2], that generalizes several m...
175
click to vote
ICDM
2009
IEEE
15 years 4 months ago
2009
IEEE
Storing data according to the multidimensional model, in particular following star schemas, has demonstrated to be one of the most adequate forms to ease the exploration of data. ...