13224 search results - page 2211 / 2645 » Self-monitoring for Computer Users |
182
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
158
click to vote
CVPR
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a simple and universal camera calibration method. Instead of extensive setups we are exploiting the accurate angular positions of fixed stars. High precision is achieve...
194
click to vote
CVPR
2004
IEEE
15 years 10 months ago
2004
IEEE
Multimedia retrieval is going to play an increasingly important role in the future. Since the availability of digital media seems ever rising, not only the retrieval performance i...
194
click to vote
CW
2004
IEEE
15 years 10 months ago
2004
IEEE
Technological limitations on current interfaces have made researches to develop new devices to interact with objects in the virtual environment. The goal of this project is to dev...
178
click to vote
CEAS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we detail the use of e-mail social network analysis for the detection of security policy violations on computer systems. We begin by formalizing basic policies that ...