1716 search results - page 69 / 344 » Generating models for temporal representations |
153
click to vote
LORI
2009
Springer
16 years 21 days ago
2009
Springer
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in m...
360
click to vote
EGITALY
2011
14 years 6 months ago
2011
Recently, the number of applications developed for smartphones has dramatically increased; however, at the moment, applications having the purpose of creating and displaying 3D mo...
174
click to vote
AAAI
2008
15 years 8 months ago
2008
We describe a novel integration of Planning with Probabilistic State Estimation and Execution resulting in a unified representational and computational framework based on declarat...
172
click to vote
TIME
2002
IEEE
15 years 11 months ago
2002
IEEE
Local search techniques have attracted considerable interest in the Artificial Intelligence (AI) community since the development of GSAT [9] and the min-conflicts heuristic [5] ...
158
click to vote
IROS
2007
IEEE
16 years 14 days ago
2007
IEEE
— This paper proposes a method to model the modification of upper body motion of dance performance based on the speed of played music. When we observed structured dance motion p...