6320 search results - page 1161 / 1264 » Towards Situated Computing |
143
Voted
ICS
2005
Tsinghua U.
15 years 9 months ago
2005
Tsinghua U.
Excessive power consumption is becoming a major barrier to extracting the maximum performance from high-performance parallel systems. Therefore, techniques oriented towards reduci...
106
Voted
MHCI
2005
Springer
15 years 9 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...
135
Voted
NOSSDAV
2005
Springer
15 years 9 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 ...
130
Voted
RTA
2005
Springer
15 years 9 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...
119
Voted
ACMDIS
2004
ACM
15 years 9 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...