173 search results - page 25 / 35 » Towards a monitoring system for High Altitude Objects |
SIGMOD
1995
ACM
13 years 11 months ago
1995
ACM
This paper describes an efficient optimistic concurrency control scheme for use in distributed database systems in which objects are cached and manipulated at client machines whil...
ECBS
2003
IEEE
14 years 29 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
KI
2002
Springer
13 years 7 months ago
2002
Springer
In this paper, we present an approach for learning interest profiles implicitly from positive user observations only. This approach eliminates the need to prompt users for ratings...
VCIP
2000
13 years 9 months ago
2000
Subjective assessment methods have been used reliably for many years to evaluate video quality. They continue to provide the most reliable assessments compared to objective method...
VRST
1998
ACM
13 years 12 months ago
1998
ACM
Distributed virtual environments allow users at di erent geographical locations to share and interact within a common virtual environment via a local network or through the Intern...