4508 search results - page 479 / 902 » Design of human-map system interaction |
165
click to vote
LOPSTR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...
137
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Community-based question and answer (Q&A) systems facilitate information exchange and enable the creation of reusable knowledge repositories. While these systems are growing i...
171
click to vote
ETRA
2006
ACM
16 years 26 days ago
2006
ACM
Eye tracking has long held the promise of being a useful methodology for human computer interaction. However, a number of barriers have stood in the way of the integration of eye ...
167
click to vote
CHI
2001
ACM
15 years 10 months ago
2001
ACM
Given rapid improvements in network infrastructure and streaming-media technologies, a large number of corporations and universities are recording lectures and making them availab...
203
click to vote
ICWS
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract. Todays information systems are built using various component models such as Enterprise Java Beans, JavaBeans, Microsoft COM+, and CORBA distributed objects. In this paper...