Sciweavers

3185 search results - page 44 / 637
» Domain and language evaluation results
Sort
View
SAT
2004
Springer
99views Hardware» more  SAT 2004»
15 years 11 months ago
Mapping Problems with Finite-Domain Variables into Problems with Boolean Variables
We define a collection of mappings that transform many-valued clausal forms into satisfiability equivalent Boolean clausal forms, analyze their complexity and evaluate them empir...
Carlos Ansótegui, Felip Manyà
EACL
2010
ACL Anthology
15 years 6 months ago
Assessing the Trade-Off between System Building Cost and Output Quality in Data-to-Text Generation
Abstract. Data-to-text generation systems tend to be knowledge-based and manually built, which limits their reusability and makes them time and cost-intensive to create and maintai...
Anja Belz, Eric Kow
CIA
2006
Springer
15 years 10 months ago
Evaluating Dynamic Services in Bioinformatics
Abstract. In dynamic applications characterised by a variety of alternative services with the same functionality but heterogeneous results, agents requesting services must find an ...
Maíra Ribeiro Rodrigues, Michael Luck
PEPM
2011
ACM
14 years 9 months ago
Allocation removal by partial evaluation in a tracing JIT
The performance of many dynamic language implementations suffers from high allocation rates and runtime type checks. This makes dynamic languages less applicable to purely algorit...
Carl Friedrich Bolz, Antonio Cuni, Maciej FijaBkow...
FSMNLP
2005
Springer
15 years 11 months ago
Principles, Implementation Strategies, and Evaluation of a Corpus Query System
Abstract. The last decade has seen an increase in the number of available corpus query systems. These systems generally implement a query language as well as a database model. We r...
Ulrik Petersen