233 search results - page 38 / 47 » Interactive Proofs For Quantum Computations |
88
Voted
DSOM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Experiences with the management of Grid specific monitoring and accounting data have shown that current approaches do not sufficiently support a distinction between prov...
EKAW
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
ICCHP
2010
Springer
15 years 4 months ago
2010
Springer
Crossing an urban traffic intersection is one of the most dangerous activities of a blind or visually impaired person's travel. Building on past work by the authors on the iss...
84
Voted
ACMACE
2006
ACM
15 years 5 months ago
2006
ACM
This paper focuses on the mapping strategies in the interface design for the Expression Synthesis Project (ESP). The goal of ESP is to use the metaphor of driving to allow non-exp...
ICCHP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. While there are many barcode readers available for identifying products in a supermarket or at home on mobile phones (e.g., Red Laser iPhone app), such readers are inacce...