3886 search results - page 744 / 778 » Toward Recovery-Oriented Computing |
MHCI
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a novel idea for a system known as Telelogs. Utilizing the ubiquity of mobile devices, Telelogs functions as a service by which individuals in an urban environ...
NOSSDAV
2005
Springer
14 years 2 months ago
2005
Springer
An improved prototype of the “voiscape” voice communication medium has been developed and subjectively evaluated. Voiscape enables natural and seamless voice communication by ...
RTA
2005
Springer
14 years 2 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
WINE
2005
Springer
14 years 2 months ago
2005
Springer
This paper takes the first steps towards designing incentive compatible mechanisms for hierarchical decision making problems involving selfish agents. We call these Stackelberg p...
ACMDIS
2004
ACM
14 years 2 months ago
2004
ACM
Toolkits and other tools have dramatically reduced the time and technical expertise needed to design and implement graphical user interfaces (GUIs) allowing high-quality, iterativ...