886 search results - page 145 / 178 » From Detecting Errors to Automatically Correcting Them |
VLDB
2004
ACM
14 years 1 months ago
2004
ACM
The widespread adoption of XML holds out the promise that document structure can be exploited to specify precise database queries. However, the user may have only a limited knowle...
POPL
2000
ACM
14 years 15 days ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
VMV
2008
13 years 9 months ago
2008
We present a semi-interactive system for advanced video processing and editing. The basic idea is to partially recover planar regions in object space and to exploit this minimal p...
31
Voted
WWW
2006
ACM
14 years 8 months ago
2006
ACM
Major search engines currently use the history of a user's actions (e.g., queries, clicks) to personalize search results. In this paper, we present a new personalized service...
SASN
2006
ACM
14 years 2 months ago
2006
ACM
Intrusion or misbehaviour detection systems are an important and widely accepted security tool in computer and wireless sensor networks. Their aim is to detect misbehaving or faul...