Sciweavers

3898 search results - page 550 / 780
» Maintaining Component-Based Systems
Sort
View
CCS
2011
ACM
14 years 4 months ago
Automatic error finding in access-control policies
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripun...

Publication
244views
17 years 4 months ago
Phenomenon-aware Stream Query Processing
Spatio-temporal data streams that are generated from mobile stream sources (e.g., mobile sensors) experience similar environmental conditions that result in distinct phenomena. Sev...
M. H. Ali, Mohamed F. Mokbel, Walid G. Aref

Publication
1169views
16 years 9 months ago
Image Enhancement for Backlight-Scaled TFT-LCD Displays
One common way to extend the battery life of a portable device is to reduce the LCD backlight intensity. In contrast to previous approaches that minimize the power consumption by a...
Pei-Shan Tsai, Chia-Kai Liang, Tai-Hsiang Huang, a...
155
Voted
CVPR
2004
IEEE
16 years 6 months ago
Video Repairing: Inference of Foreground and Background under Severe Occlusion
In this paper, we propose a new method, video repairing, to robustly infer missing static background and moving foreground due to severe damage or occlusion from a video. To recov...
Jiaya Jia, Tai-Pang Wu, Yu-Wing Tai, Chi-Keung Tan...
ICCV
2003
IEEE
16 years 6 months ago
How To Deal with Point Correspondences and Tangential Velocities in the Level Set Framework
In this paper, we overcome a major drawback of the level set framework: the lack of point correspondences. We maintain explicit backward correspondences from the evolving interfac...
Jean-Philippe Pons, Gerardo Hermosillo, Renaud Ker...