1547 search results - page 71 / 310 » The Isabelle Collections Framework |
HCI
2009
13 years 5 months ago
2009
Abstract. Expectations for the industry of Human Computer Interaction are much higher today than they were ten or even five years ago. Innovative solutions to sense and gather info...
ICDM
2009
IEEE
13 years 5 months ago
2009
IEEE
Scientists increasingly use ensemble data sets to explore relationships present in dynamic systems. Ensemble data sets combine spatio-temporal simulation results generated using mu...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
A simple theoretical framework is developed to evaluate the security and usability of eavesdroppingresistant authentication schemes. Such schemes strive to allow users to authenti...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
In order to deal with the diversified nature of XML documents as well as individual user preferences, we propose a novel Multiodel (MRM), which is able to abstract a spectrum of i...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
Tools for automatic image understanding for managing operator workloads are essential. One common task for image analysts is the scanning large collections of real-time images loo...