2123 search results - page 80 / 425 » The study of models of intelligent interfaces |
CHI
2005
ACM
14 years 9 months ago
2005
ACM
In-vehicle navigation has changed substantially in recent years, due to the advent of computer generated maps and directions. However, these maps are still problematic, due to a m...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
We present the case study of a complex, mixed-initiative scheduling system to illustrate Work-Centered Design (WCD), a new approach for the design of information systems. WCD is b...
AE
2009
Springer
13 years 10 months ago
2009
Springer
This paper reports on a feasibility study into the evolution of robot controllers during the actual operation of robots (on-line), using only the computational resources within the...
ICAIL
2005
ACM
14 years 2 months ago
2005
ACM
d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation...
LFCS
2009
Springer
14 years 3 months ago
2009
Springer
We study computational aspects of a probabilistic logic based on a well-known model of induction by Valiant. We prove that for this paraconsistent logic the set of valid formulas ...