7557 search results - page 1452 / 1512 » Modeling Timed Concurrent Systems |
114
click to vote
CVPR
1999
IEEE
16 years 1 months ago
1999
IEEE
The task of multi-camera surveillance is to reconstruct the paths taken by all moving objects that are temporarily visible from multiple non-overlapping cameras. We present a Baye...
103
Voted
WWW
2008
ACM
16 years 16 days ago
2008
ACM
This paper presents PrivacyGrid - a framework for supporting anonymous location-based queries in mobile information delivery systems. The PrivacyGrid framework offers three unique...
179
click to vote
PODS
2009
ACM
16 years 12 days ago
2009
ACM
Let be a finite, ordered alphabet, and consider a string x = x1x2 . . . xn n . A secondary index for x answers alphabet range queries of the form: Given a range [al, ar] , retu...
199
click to vote
POPL
2006
ACM
16 years 5 days ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
162
click to vote
SIGMOD
2006
ACM
16 years 11 hour ago
2006
ACM
Modern scientific applications consume massive volumes of data produced by computer simulations. Such applications require new data management capabilities in order to scale to te...