9523 search results - page 1642 / 1905 » Intelligent Interface Agents |
197
click to vote
ITS
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
212
click to vote
SCANGIS
2003
15 years 8 months ago
2003
Recently, along with the breakthrough of the Internet and mobile environment, the development towards screen maps used as intelligent user interfaces appears to be emergent. This m...
187
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
Wireless networks and mobile terminals are evolving towards being heterogeneous. In this environment, intelligent handover decision, beyond traditional ones that are based on only...
161
click to vote
UIST
2010
ACM
15 years 5 months ago
2010
ACM
When browsing a long video using a traditional timeline slider control, its effectiveness and precision degrade as a video's length grows. When browsing videos with more fram...
307
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...