4914 search results - page 424 / 983 » Arbitration of a help system |
174
Voted
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
This work belongs to a wider effort aimed at eliminating syntactic bureaucracy from proof systems. In this paper, we present a novel cut elimination procedure for classical propos...
241
Voted
SIGDIAL
2010
15 years 4 months ago
2010
This paper presents a spoken dialogue framework that helps users in making decisions. Users often do not have a definite goal or criteria for selecting from a list of alternatives...
183
click to vote
CHI
2009
ACM
15 years 4 months ago
2009
ACM
Psychologically preparing for upcoming events can be a difficult task, particularly when switching social contexts, e.g., from office work to a family event. To help with such tra...
166
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Abstract--When 60 years ago Shannon established "A Mathematical Theory of Communication" nobody could know the consequences for science and technology in the second half ...
216
Voted
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Changing business requirements such as providing new business services lead to an ongoing need for fast and flexible adaptation of the underlying information systems and infrastr...