13224 search results - page 2489 / 2645 » Self-monitoring for Computer Users |
ICSE
2007
IEEE-ACM
14 years 2 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
SIGUCCS
2003
ACM
14 years 1 months ago
2003
ACM
Legacy network file services such as NFS, SMB/CIFS, and AFP changed the way we worked. File services running on crossplatform networks allowed us to save our files on remote syste...
ICDE
2008
IEEE
15 years 7 months ago
2008
IEEE
In applications like location-based services, sensor monitoring and biological databases, the values of the database items are inherently uncertain in nature. An important query fo...
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
Restoring a clear image from a single motion-blurred
image due to camera shake has long been a challenging
problem in digital imaging. Existing blind deblurring techniques
eithe...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach...