13476 search results - page 2031 / 2696 » Learning from Streams |
147
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This paper describes the development of a new model of agent emotion elicitation called Nemesys. It enhances interfaces with emotional and social information. Nemesys is based on ...
194
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
This research investigates how the pervasive use of technology by an individual in the physical presence of group members affects community level. When technology use occurs, the ...
170
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Embedded processors are making it possible for common appliances, such as cable boxes, microwaves and fax machines, to provide even more functionality. Unfortunately, as these app...
166
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Navigating through new voicemail messages to find messages of interest is a time-consuming task, particularly for high-volume users. When checking messages under a time constraint...
196
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...