1458 search results - page 235 / 292 » Monads for incremental computing |
144
click to vote
MIRRORBOT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A biologically inspired computational model of rodent representation–based (locale) navigation is presented. The model combines visual input in the form of realistic tw...
141
click to vote
PKDD
2005
Springer
15 years 9 months ago
2005
Springer
Location-awareness and prediction of future locations is an important problem in pervasive and mobile computing. In cellular systems (e.g., GSM) the serving cell is easily availabl...
108
click to vote
VIZSEC
2005
Springer
15 years 9 months ago
2005
Springer
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...
133
click to vote
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
Vehicle tracking data is an essential “raw” material for a broad range of applications such as traffic management and control, routing, and navigation. An important issue with...
121
click to vote
ASPDAC
2004
ACM
15 years 9 months ago
2004
ACM
Abstract We propose a novel approach to preserve the synchronizing sequences of a circuit after retiming. The significance of this problem stems from the necessity of maintaining c...