Sciweavers

4272 search results - page 318 / 855
» A Case for Automatic System Evaluation
Sort
View
168
Voted
IGPL
2006
110views more  IGPL 2006»
15 years 6 months ago
Adaptive Model Checking
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
Alex Groce, Doron Peled, Mihalis Yannakakis
193
Voted
BMCBI
2010
98views more  BMCBI 2010»
15 years 7 months ago
Resolving anaphoras for the extraction of drug-drug interactions in pharmacological documents
Background: Drug-drug interactions are frequently reported in the increasing amount of biomedical literature. Information Extraction (IE) techniques have been devised as a useful ...
Isabel Segura-Bedmar, Mario Crespo, César d...
292
Voted
ASPLOS
2009
ACM
16 years 7 months ago
Dynamic prediction of collection yield for managed runtimes
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...
Michal Wegiel, Chandra Krintz
184
Voted
CLEF
2006
Springer
15 years 10 months ago
Overview of the ImageCLEF 2006 Photographic Retrieval and Object Annotation Tasks
This paper describes the general photographic retrieval and object annotation tasks of the ImageCLEF 2006 evaluation campaign. These tasks provide both the resources and the frame...
Paul Clough, Michael Grubinger, Thomas Deselaers, ...
360
Voted
DAGM
2011
Springer
14 years 6 months ago
Real Time Head Pose Estimation from Consumer Depth Cameras
We present a system for estimating location and orientation of a person’s head, from depth data acquired by a low quality device. Our approach is based on discriminative random r...
Gabriele Fanelli, Thibaut Weise, Juergen Gall, Luc...