13827 search results - page 2576 / 2766 » The state of artificial intelligence |
203
click to vote
TPHOL
2003
IEEE
16 years 13 days ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
254
click to vote
ICAIL
2003
ACM
16 years 13 days ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
180
click to vote
IUI
2003
ACM
16 years 13 days ago
2003
ACM
In this paper, we evaluate several means of presenting route instructions to a mobile user. Starting from an abstract languageindependent description of a route segment, we show h...
194
click to vote
IUI
2003
ACM
16 years 13 days ago
2003
ACM
We present a probabilistic model, based on Dynamic Decision Networks, to assess user affect from possible causes of emotional arousal. The model relies on the OCC cognitive theory...
214
click to vote
MM
2003
ACM
16 years 13 days ago
2003
ACM
In this paper, we present a system that automates home video editing. This system automatically extracts a set of highlight segments from a set of raw home videos and aligns them ...