3208 search results - page 262 / 642 » Methods and views |
156
click to vote
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we present an image-based method for the tracking and rendering of faces. We use the algorithm in an immersive video conferencing system where multiple participants...
184
click to vote
SAS
2005
Springer
15 years 11 months ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
178
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
In this paper an approach for combining a focus+context visual data mining method with zoomable interfaces is shown. Therefore a zoomable interface for analysing structurable imag...
158
click to vote
TYPES
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
163
click to vote
ISMAR
2003
IEEE
15 years 11 months ago
2003
IEEE
Optical see-through head-mounted displays (HMDs) are less commonly used because they are difficult to accurately calibrate. In this article, we report a user study to compare the ...