1716 search results - page 69 / 344 » Generating models for temporal representations |
124
Voted
LORI
2009
Springer
15 years 10 months 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...
287
Voted
EGITALY
2011
14 years 3 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...
141
Voted
AAAI
2008
15 years 6 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...
147
click to vote
TIME
2002
IEEE
15 years 8 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] ...
132
Voted
IROS
2007
IEEE
15 years 10 months 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...