4155 search results - page 349 / 831 » External Memory Algorithms |
197
click to vote
AUSAI
2005
Springer
16 years 23 days ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
184
click to vote
SIGCSE
2004
ACM
16 years 22 days ago
2004
ACM
A framework for producing dynamic data structure visualizations within the context of a lightweight IDE is described. Multiple synchronized visualizations of a data structure can ...
183
click to vote
HYBRID
2004
Springer
16 years 21 days ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
165
click to vote
WAPCV
2004
Springer
16 years 19 days ago
2004
Springer
Bottom-up cortical representations of visual conspicuity interact with top-down internal cognitive models of the external world to control eye movements, EMs, and the closely linke...
201
click to vote
ISWC
2003
IEEE
16 years 17 days ago
2003
IEEE
Context-aware computing describes the situation where a wearable / mobile computer is aware of its user’s state and surroundings and modifies its behavior based on this informat...