866 search results - page 133 / 174 » A Formal Investigation of |
GISCIENCE
2008
Springer
15 years 27 days ago
2008
Springer
Abstract. New methods of data collection, in particular the wide range of sensors and sensor networks that are being constructed, with the ability to collect real-time data streams...
AAMAS
2008
Springer
14 years 12 months ago
2008
Springer
Anticipation is a general concept used and applied in various domains. Many studies in the field of artificial intelligence have investigated the capacity for anticipation. In thi...
AAMAS
2008
Springer
14 years 12 months ago
2008
Springer
We present the MOdel of Organisational Change using Agents (MOCHA) as a means to formally specify, check and simulate organisations and their changes using agents. We define the s...
AI
2008
Springer
14 years 12 months ago
2008
Springer
It is well known that classical set theory is not expressive enough to adequately model categorization and prototype theory. Recent work on compositionality and concept determinat...
COMPSEC
2008
14 years 12 months ago
2008
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...