1382 search results - page 53 / 277 » Interactive pen-and-ink illustration |
180
click to vote
CONCUR
2003
Springer
15 years 11 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 ...
126
click to vote
AAECC
2002
Springer
15 years 6 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 ...
129
click to vote
WSC
2000
15 years 7 months ago
2000
This paper recognises that good communication and interaction are key factors to the success of a simulation project and suggests that groupware technology can increase the chance...
159
click to vote
UAIS
2002
15 years 5 months ago
2002
Integrating computer-based information into the real world of the user, is becoming a crucial challenge for the designers of interactive systems. The Augmented Reality (AR) paradig...
162
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— We present an interface for controlling mobile robots that combines aspects of graphical trajectory specification and state-based programming. This work is motivated by common...