373 search results - page 27 / 75 » Evaluating Consistency Algorithms for Temporal Metric Constr... |
132
click to vote
TKDE
2008
15 years 1 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...
132
click to vote
PE
2000
Springer
15 years 1 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...
129
Voted
AMET
1998
Springer
15 years 6 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...
110
click to vote
CHARME
2001
Springer
15 years 5 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...
176
click to vote
SIGMOD
2006
ACM
16 years 1 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 ...