Sciweavers

3070 search results - page 186 / 614
» Evaluating digital libraries
Sort
View
CHI
2007
ACM
16 years 5 months ago
Effects of audio and visual surrogates for making sense of digital video
Video surrogates are meant to help people quickly make sense of the content of a video before downloading or seeking more detailed information. In this paper we present the result...
Yaxiao Song, Gary Marchionini
120
Voted
CUZA
2002
63views more  CUZA 2002»
15 years 4 months ago
Parallel Extension of a Dynamic Performance Forecasting Tool
This paper presents an extension of a performance evaluation library called Fast to handle parallel routines. Fast is a dynamic performance forecasting tool in a grid environment. ...
Eddy Caron, Frédéric Suter
119
Voted
QEST
2006
IEEE
15 years 10 months ago
UPPAAL 4.0
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
Gerd Behrmann, Alexandre David, Kim Guldstrand Lar...
FLAIRS
2000
15 years 6 months ago
The Use of Formal Methods for Trusted Digital Signature Devices
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
Bruno Langenstein, Roland Vogt, Markus Ullmann
CBMS
2004
IEEE
15 years 8 months ago
A Tool for Collection of Region Based Data from Uterine Cervix Images for Correlation of Visual and Clinical Variables Related t
The National Cancer Institute (NCI) is collaborating with the National Library of Medicine (NLM) to create a database of digitized images of the uterine cervix for research, train...
Jose Jeronimo, Mark Schiffman, L. Rodney Long, Lei...