Sciweavers

6693 search results - page 97 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
ERCIMDL
2007
Springer
115views Education» more  ERCIMDL 2007»
15 years 10 months ago
The Semantic GrowBag Algorithm: Automatically Deriving Categorization Systems
Using keyword search to find relevant objects in digital libraries often results in way too large result sets. Based on the metadata associated with such objects, the faceted sear...
Jörg Diederich, Wolf-Tilo Balke
PPOPP
1999
ACM
15 years 8 months ago
Automatic Parallelization of Divide and Conquer Algorithms
Divide and conquer algorithms are a good match for modern parallel machines: they tend to have large amounts of inherent parallelism and they work well with caches and deep memory...
Radu Rugina, Martin C. Rinard
TAP
2007
Springer
92views Hardware» more  TAP 2007»
15 years 10 months ago
Generating Unit Tests from Formal Proofs
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
Christian Engel, Reiner Hähnle
EACL
2010
ACL Anthology
15 years 4 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
ICTAI
2008
IEEE
15 years 10 months ago
Attribute Value Taxonomy Generation through Matrix Based Adaptive Genetic Algorithm
We introduce a new adaptive genetic method for AVT generation, MCM-AVT-Learner. The MCM-AVTLearner imports the mutation and crossover matrices which makes effective use of the fi...
Hyunsung Jo, Yong-chan Na, Byonghwa Oh, Jihoon Yan...