1421 search results - page 27 / 285 » The First and Second Max-SAT Evaluations |
SIGMETRICS
2008
ACM
13 years 7 months ago
2008
ACM
XACML has become the de facto standard for specifying access control policies for various applications, especially web services. With the explosive growth of web applications depl...
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
-- Searching for medical information on the Web is popular and important. However, medical search has its own unique requirements that are poorly handled by existing medical Web se...
LREC
2008
13 years 9 months ago
2008
The present contribution aims at increasing our understanding of automatic speech recognition (ASR) errors involving frequent homophone or almost homophone words by confronting th...
ESOP
2012
Springer
12 years 3 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
CLEF
2007
Springer
14 years 1 months ago
2007
Springer
The Answer Validation Exercise at the Cross Language Evaluation Forum is aimed at developing systems able to decide whether the answer of a Question Answering system is correct or...