3058 search results - page 411 / 612 » Reflections on Reflections |
165
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...
201
click to vote
CVPR
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a novel integrated background model for video surveillance. Our model uses a primal sketch representation for image appearance and 3D scene geometry to capture...
184
click to vote
CVPR
2008
IEEE
15 years 8 months ago
2008
IEEE
In photometric stereo a robust method is required to deal with outliers, such as shadows and non-Lambertian reflections. In this paper we rely on a probabilistic imaging model tha...
190
click to vote
DEXAW
2008
IEEE
15 years 8 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
169
click to vote
DIMEA
2008
15 years 8 months ago
2008
This paper presents the design and deployment of Polar Defence, an interactive game for a large public display. We designed this display based on a model of "users" and ...