3228 search results - page 212 / 646 » Computationally Sound Proofs |
175
click to vote
MM
2006
ACM
16 years 16 days ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
209
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
People often use computers other than their own to access web content, but blind users are restricted to using computers equipped with expensive, special-purpose screen reading pr...
183
click to vote
CRYPTO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A significant effort has recently been made to rigorously relate the formal treatment of cryptography with the computational one. A first substantial step in this dire...
157
click to vote
ICDCSW
2006
IEEE
16 years 19 days ago
2006
IEEE
The rapid progress of information technology has spurred development of various communication support systems. In particular, the importance of informal communication has lately d...
234
click to vote
ASSETS
2008
ACM
15 years 8 months ago
2008
ACM
We describe a system for guiding blind and visually impaired wheelchair users along a clear path that uses computer vision to sense the presence of obstacles or other terrain feat...