3169 search results - page 481 / 634 » Robust Timed Automata |
CHI
2007
ACM
14 years 10 months ago
2007
ACM
PageLinker is a browser extension that contextualises navigation by linking web pages together and allows navigation through a network of related web pages without prior planning....
HPCA
2003
IEEE
14 years 10 months ago
2003
IEEE
We consider the impact of different communication architectures on the performability (performance + availability) of cluster-based servers. In particular, we use a combination of ...
SIGMOD
2005
ACM
14 years 10 months ago
2005
ACM
This paper proposes a generic framework for monitoring continuous spatial queries over moving objects. The framework distinguishes itself from existing work by being the first to ...
SIGMOD
2004
ACM
14 years 10 months ago
2004
ACM
Spatial and temporal database systems, both in theory and in practice, have developed dramatically over the past two decades to the point where usable commercial systems, underpin...
SIGMOD
2004
ACM
14 years 10 months ago
2004
ACM
The detection of correlations between different features in a set of feature vectors is a very important data mining task because correlation indicates a dependency between the fe...