373 search results - page 27 / 75 » Evaluating Consistency Algorithms for Temporal Metric Constr... |
TKDE
2008
14 years 9 months ago
2008
Given a large spatio-temporal database of events, where each event consists of the fields event ID, time, location, and event type, mining spatio-temporal sequential patterns ident...
PE
2000
Springer
14 years 9 months ago
2000
Springer
Spatial and temporal variations in network bandwidth constraints constitute serious challenges to the multicast distribution of real-time video content. This paper presents a vide...
100
click to vote
AMET
1998
Springer
15 years 2 months ago
1998
Springer
We present an approach to the bid-evaluation problem in a system for multi-agent contract negotiation, called MAGNET. The MAGNET market infrastructure provides support for a variet...
CHARME
2001
Springer
15 years 1 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
145
click to vote
SIGMOD
2006
ACM
15 years 10 months ago
2006
ACM
Wireless sensor networks have created new opportunities for data collection in a variety of scenarios, such as environmental and industrial, where we expect data to be temporally ...