3053 search results - page 369 / 611 » Structured Objects: Modeling and Reasoning |
IJON
2006
15 years 3 months ago
2006
The monkey parietal anterior intraparietal area (AIP) is part of the grasp planning and execution circuit which contains neurons that encode object features relevant for grasping,...
160
Voted
TSMC
2008
15 years 3 months ago
2008
Abstract--The paper proposes an approach to content dissemination that exploits the structural properties of an Extensible Markup Language (XML) document object model in order to p...
86
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Autonomous robot navigation in outdoor scenarios gains increasing importance in various growing application areas. Whereas in non-urban domains such as deserts the prob...
123
Voted
SBMF
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
124
click to vote
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...