Sciweavers

380 search results - page 25 / 76
» Trajectory Based Behavior Analysis for User Verification
Sort
View
161
Voted
EKAW
2000
Springer
15 years 7 months ago
Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems
Abstract. The overall aim of this paper is to provide a general setting for quantitative quality measures of Knowledge-Based System behavior which is widely applicable to many Know...
Perry Groot, Frank van Harmelen, Annette ten Teije
129
Voted
ATVA
2004
Springer
138views Hardware» more  ATVA 2004»
15 years 7 months ago
Providing Automated Verification in HOL Using MDGs
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
Tarek Mhamdi, Sofiène Tahar
113
Voted
ICMI
2005
Springer
108views Biometrics» more  ICMI 2005»
15 years 9 months ago
Understanding the effect of life-like interface agents through users' eye movements
We motivate an approach to evaluating the utility of lifelike interface agents that is based on human eye movements rather than questionnaires. An eye tracker is employed to obtai...
Helmut Prendinger, Chunling Ma, Jin Yingzi, Arturo...
120
Voted
ICMCS
2005
IEEE
92views Multimedia» more  ICMCS 2005»
15 years 9 months ago
Personalized Prefetching for Manets
Mobile ad hoc networks (MANETs) are a very promising next generation networks. Prediction is an essential aspect in the deployment of MANETs. Current work mainly focuses on mobili...
S. H. Srinivasan
143
Voted
WSDM
2012
ACM
258views Data Mining» more  WSDM 2012»
13 years 11 months ago
Large-scale analysis of individual and task differences in search result page examination strategies
Understanding the impact of individual and task differences on search result page examination strategies is important in developing improved search engines. Characterizing these e...
Georg Buscher, Ryen W. White, Susan T. Dumais, Jef...