2002 search results - page 104 / 401 » Interactive technical illustration |
135
click to vote
MHCI
2009
Springer
15 years 11 months ago
2009
Springer
This paper illustrates the thesis research and process that led me to conceive, design and evaluate the Phototropic Memories device, a novel interface supporting the intimate shar...
121
click to vote
ADAPTIVE
2007
Springer
15 years 10 months ago
2007
Springer
In this chapter we describe techniques for adaptive presentation of content on the Web. We first describe techniques to select and structure the content deemed to be most relevant ...
160
click to vote
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
106
click to vote
AAECC
2002
Springer
15 years 4 months ago
2002
Springer
A fruitful interaction between a new randomized WZ procedure and other computer algebra programs is illustrated by the computer proof of a series evaluation that originates from a ...
127
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
Infrastructure software comprises code libraries or runtime processes that support the development or operation of application software. A particular infrastructure system may sup...