Sciweavers

3043 search results - page 456 / 609
» In-car interaction using search-based user interfaces
Sort
View
IUI
2005
ACM
15 years 10 months ago
Active preference learning for personalized calendar scheduling assistance
We present PLIANT, a learning system that supports adaptive assistance in an open calendaring system. PLIANT learns user preferences from the feedback that naturally occurs during...
Melinda T. Gervasio, Michael D. Moffitt, Martha E....
CSCW
2006
ACM
15 years 10 months ago
Going with the flow: email awareness and task management
Email use in the context of everyday work practices, or email flow, has not been heavily studied. We present the results of a pair of studies examining how users interlace email w...
Nelson Siu, Lee Iverson, Anthony Tang
DEXAW
2000
IEEE
134views Database» more  DEXAW 2000»
15 years 9 months ago
"'Andreas Rauber'? Conference Pages Are over There, German Documents on the Lower Left, .." - An "Old-Fashioned" Approach to Web
With the massive advance of electronic document repositories, usable interfaces to these repositories gain importance. While sophisticated information retrieval techniques provide...
Andreas Rauber, Harald Bina
FGR
2004
IEEE
164views Biometrics» more  FGR 2004»
15 years 8 months ago
Real-Time Pointing Gesture Recognition for an Immersive Environment
We present an algorithm for the real-time detection and interpretation of pointing gestures, performed with one or both arms. The pointing gestures are used as an intuitive tracki...
Roland Kehl, Luc J. Van Gool
FROCOS
2011
Springer
14 years 4 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...