Sciweavers

5639 search results - page 184 / 1128
» Timed Abstract Non-interference
Sort
View
CONTEXT
2001
Springer
15 years 6 months ago
WordSieve: A Method for Real-Time Context Extraction
Abstract. In order to be useful, intelligent information retrieval agents must provide their users with context-relevant information. This paper presents WordSieve, an algorithm fo...
Travis Bauer, David B. Leake
IPPS
1999
IEEE
15 years 6 months ago
An Adaptive, Distributed Airborne Tracking System ("process the Right Tracks at the Right Time")
This paper describes a United States Air Force Advanced Technology Demonstration (ATD) that applied value-based scheduling to produce an adaptive, distributed tracking component ap...
Raymond K. Clark, E. Douglas Jensen, Arkady Kanevs...
141
Voted
CONCUR
1999
Springer
15 years 6 months ago
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
Christel Baier, Joost-Pieter Katoen, Holger Herman...
ICDT
1999
ACM
154views Database» more  ICDT 1999»
15 years 6 months ago
Databases for Tracking Mobile Units in Real Time
Abstract. In this paper we consider databases representing information about moving objects (e.g. vehicles), particularly their location. We address the problems of updating and qu...
Ouri Wolfson, Liqin Jiang, A. Prasad Sistla, Sam C...
MICCAI
1999
Springer
15 years 6 months ago
Ultrasound Probe Tracking for Real-Time Ultrasound/MRI Overlay and Visualization of Brain Shift
Abstract. Stereotactic techniques are prevalent in neurosurgery. A fundamental assumption of stereotaxis is that the brain is a rigid body. It has been demonstrated, however, that ...
David G. Gobbi, Roch M. Comeau, Terry M. Peters