2049 search results - page 29 / 410 » Normalization and Partial Evaluation |
ECIR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The Information Retrieval community uses a variety of performance measures to evaluate the effectiveness of scoring functions. In this paper, we show how to adapt six pop...
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
The objective of this work is to recognize all the frontal faces of a character in the closed world of a movie or situation comedy, given a small number of query faces. This is ch...
PADL
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
BMCBI
2005
13 years 8 months ago
2005
Background: Our goal in BioCreAtIve has been to assess the state of the art in text mining, with emphasis on applications that reflect real biological applications, e.g., the cura...
JAIR
2006
13 years 8 months ago
2006
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable for...