Sciweavers

7536 search results - page 252 / 1508
» The CLEAR 2007 Evaluation
Sort
View
ISPW
2005
IEEE
16 years 6 days ago
Process Technology to Facilitate the Conduct of Science
This paper introduces the concept of an analytic web, a synthesis of three complementary views of a scientific process that is intended to facilitate the conduct of science. These ...
Leon J. Osterweil, Alexander E. Wise, Lori A. Clar...
QEST
2005
IEEE
16 years 6 days ago
An approximation algorithm for labelled Markov processes: towards realistic approximation
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
Alexandre Bouchard-Côté, Norm Ferns, ...
RSP
2005
IEEE
16 years 6 days ago
Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
VISSOFT
2005
IEEE
16 years 6 days ago
Exploring Relations within Software Systems Using Treemap Enhanced Hierarchical Graphs
The clear and meaningful visualization of relations between software entities is an invaluable tool for the comprehension, evaluation, and reengineering of the structure of existi...
Michael Balzer, Oliver Deussen
CLEF
2005
Springer
16 years 5 days ago
FIRE in ImageCLEF 2005: Combining Content-Based Image Retrieval with Textual Information Retrieval
In this paper the methods we used in the 2005 ImageCLEF content-based image retrieval evaluation are described. For the medical retrieval task, we combined several low-level image ...
Thomas Deselaers, Tobias Weyand, Daniel Keysers, W...