998 search results - page 65 / 200 » From Feasible Proofs to Feasible Computations |
WWW
2003
ACM
14 years 9 months ago
2003
ACM
Recent advances in information retrieval over hyperlinked corpora have convincinglydemonstratedthat links carry less noisy information than text. We investigate the feasibility of...
IUI
2009
ACM
14 years 5 months ago
2009
ACM
Recent years have seen a resurgence of interest in programming by demonstration. As end users have become increasingly sophisticated, computer and artificial intelligence technolo...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
SG
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Data hiding techniques onto images provide tools for protecting copyright or sending secret messages, and they are currently utilized as a simple input device of a cell p...
ISWC
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes a wearable augmented reality system using positioning infrastructures and a pedometer. To realize augmented reality systems, the position and orientation of u...