Sciweavers

1400 search results - page 170 / 280
» Design and evaluation of reduced-functionality interfaces
Sort
View
CIVR
2005
Springer
125views Image Analysis» more  CIVR 2005»
15 years 8 months ago
Interactive Video Search Using Multilevel Indexing
Large video collections present a unique set of challenges to the search system designer. Text transcripts do not always provide an accurate index to the visual content, and the pe...
John Adcock, Matthew L. Cooper, Andreas Girgensohn...
ERCIMDL
2005
Springer
110views Education» more  ERCIMDL 2005»
15 years 8 months ago
Managing Personal Documents with a Digital Library
: This paper presents a desktop system for managing personal documents. The documents can be of many types—text, spreadsheets, images, multimedia—and are organized in a persona...
Imene Jaballah, Sally Jo Cunningham, Ian H. Witten
EUPROJECTS
2005
Springer
15 years 8 months ago
Participatory Insight to Universal Access: Methods and Validation Exercises
Participatory methods can, in principle, be applied for a variety of purposes to gain insight into the context of use of an artefact or the way in which tasks are performed by end ...
Michael Pieper, Karl Stroetmann
DAC
1997
ACM
15 years 6 months ago
Formal Verification of a Superscalar Execution Unit
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
Kyle L. Nelson, Alok Jain, Randal E. Bryant
CCS
2011
ACM
14 years 3 months ago
VMCrypt: modular software architecture for scalable secure computation
Garbled circuits play a key role in secure computation. Unlike previous work, which focused mainly on efficiency and automation aspects of secure computation, in this paper we foc...
Lior Malka