1089 search results - page 106 / 218 » Oracle-Based Partial Evaluation |
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
82
Voted
AVSS
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper presents a framework for preserving privacy in video surveillance. Raw video is decomposed into a background and one or more object-video streams. Objectvideo streams...
PDP
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper investigate a mutual exclusion algorithm on distributed systems. We introduce a new algorithm based on the Naimi-Trehel algorithm, taking advantage of the distributed a...
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
Keyword search has been recently extended to relational databases to retrieve information from text-rich attributes. However, all the existing methods focus on finding individual...
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— Future retinal therapies will be partially automated in order to increase the surgeons’ ability to operate near the sensitive structure of the human eye retina. Untet...