Sciweavers

4345 search results - page 93 / 869
» Temporal Constraint Networks
Sort
View
COMCOM
2000
82views more  COMCOM 2000»
13 years 10 months ago
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
Jean-Pierre Courtiat, C. A. S. Santos, Christophe ...
IPTPS
2005
Springer
14 years 3 months ago
The Impact of Heterogeneous Bandwidth Constraints on DHT-Based Multicast Protocols
Ashwin R. Bharambe, Sanjay G. Rao, Venkata N. Padm...
RAID
2001
Springer
14 years 2 months ago
System Health and Intrusion Monitoring Using a Hierarchy of Constraints
Calvin Ko, Paul Brutch, Jeff Rowe, Guy Tsafnat, Ka...
MICCAI
2009
Springer
14 years 11 months ago
Enforcing Monotonic Temporal Evolution in Dry Eye Images
We address the problem of identifying dry areas in the tear film as part of a diagnostic tool for dry-eye syndrome. The requirement is to identify and measure the growth of the dry...
Tamir Yedidya, Peter Carr, Richard Hartley, Jea...
DBPL
2001
Springer
133views Database» more  DBPL 2001»
14 years 2 months ago
A Theory of Spatio-Temporal Database Queries
Abstract. We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be co...
Floris Geerts, Sofie Haesevoets, Bart Kuijpers