4573 search results - page 581 / 915 » Automated Reasoning |
120
click to vote
GIS
2010
ACM
15 years 3 months ago
2010
ACM
Top-k queries are a popular type of query in Wireless Sensor Networks. Typical solutions rely on coordinated root-tonodes and nodes-to-root messages and on maintaining filters at...
145
Voted
GIS
2010
ACM
15 years 3 months ago
2010
ACM
The problem of point-to-point shortest path computation in spatial networks is extensively studied with many approaches proposed to speed-up the computation. Most of the existing ...
144
Voted
GIS
2010
ACM
15 years 3 months ago
2010
ACM
Rensselaer Polytechnic Institute Troy, NY Levee overtopping can lead to failure and cause catastrophic damage, as was the case during Hurricane Katrina. We present a computer simu...
133
Voted
GIS
2010
ACM
15 years 3 months ago
2010
ACM
We propose a new and powerful tool for the analysis of trajectories, which in particular allows for more temporally aware analyses. Time plays an important role in the analysis of ...
158
Voted
LICS
2010
IEEE
15 years 3 months ago
2010
IEEE
We define tree automata with global constraints (TAGC), generalizing the well-known class of tree automata with global equality and disequality constraints [14] (TAGED). TAGC can...