1336 search results - page 243 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
125
click to vote
AFRIGRAPH
2003
ACM
15 years 8 months ago
2003
ACM
The perceived realism of a computer generated image depends on the accuracy of the modeling and illumination calculations, the limitations of the display device, and the way in wh...
123
click to vote
CHI
2001
ACM
16 years 3 months ago
2001
ACM
Chinese input presents unique challenges to the field of human computer interaction. This study provides an anatomical analysis of today's standard Chinese input process, whi...
166
Voted
CGF
2011
14 years 6 months ago
2011
We present a novel method to estimate an approximation of the reflectance characteristics of optically thick, homogeneous translucent materials using only a single photograph as ...
168
click to vote
FORTE
1994
15 years 4 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
133
click to vote
CLEF
2007
Springer
15 years 9 months ago
2007
Springer
In our participation in this CLEF evaluation campaign, the first objective is to propose and evaluate various indexing and search strategies for the Czech language in order to hop...