1552 search results - page 292 / 311 » Efficient Aggregate Computation over Data Streams |
POPL
2002
ACM
14 years 9 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
MPEG-4 Advanced Simple Profile video provides I, P, and B –type frames in each GOP (Group Of Pictures). To maximize the coding efficiency, it is important to determine the distr...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Video information, image processing and computer vision techniques are developing rapidly nowadays because of the availability of acquisition, processing and editing tools, which ...
CIKM
2006
Springer
14 years 17 days ago
2006
Springer
In this paper we introduce the distributed spatio-temporal similarity search problem: given a query trajectory Q, we want to find the trajectories that follow a motion similar to ...
CIKM
2006
Springer
14 years 17 days ago
2006
Springer
Research in the areas of privacy preserving techniques in databases and subsequently in privacy enhancement technologies have witnessed an explosive growth-spurt in recent years. ...