Sciweavers

1721 search results - page 279 / 345
» Software Reuse: An Overview
Sort
View
AIPS
2007
13 years 11 months ago
An Innovative Product for Space Mission Planning: An A Posteriori Evaluation
This paper describes MEXAR2, a software tool that is currently used to synthesize the operational commands for data downlink from the on-board memory of an interplanetary space mi...
Amedeo Cesta, Gabriella Cortellessa, Simone Fratin...
CIVR
2008
Springer
127views Image Analysis» more  CIVR 2008»
13 years 10 months ago
Performance evaluation of relevance feedback methods
In this paper we review the evaluation of relevance feedback methods for content-based image retrieval systems. We start out by presenting an overview of current common practice, ...
Mark J. Huiskes, Michael S. Lew
FORMATS
2008
Springer
13 years 10 months ago
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
Jirí Srba
BCS
2008
13 years 10 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
LREC
2010
131views Education» more  LREC 2010»
13 years 10 months ago
An Evolving eScience Environment for Research Data in Linguistics
The amount of research data in the Humanities is increasing at fast speed. Metadata helps describing and making accessible this data to interested researchers within and across in...
Claus Zinn, Peter Wittenburg, Jacquelijn Ringersma