2291 search results - page 339 / 459 » Representational Reasoning and Verification |
136
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
We build a generic methodology based on learning and reasoning to detect specific attitudes of human agents and patterns of their interactions. Human attitudes are determined in te...
108
click to vote
ICN
2007
Springer
15 years 10 months ago
2007
Springer
We propose a data structure–dynamic tree bitmap–for the representation of dynamic IP router tables that must support very high lookup and update rates. In fact, the dynamic tr...
137
click to vote
KI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
151
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeli...
143
click to vote
SGAI
2007
Springer
15 years 10 months ago
2007
Springer
The problems associated with planning and managing patient treatment through complex care settings are significant. It has long been realised that support tools are invaluable in ...