Sciweavers

519 search results - page 25 / 104
» Comparing Instance Generation Methods for Automated Reasonin...
Sort
View
96
Voted
DAC
2009
ACM
16 years 1 months ago
Generating test programs to cover pipeline interactions
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
Thanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, ...
115
Voted
CSL
2011
Springer
14 years 7 months ago
Hybrid user intention modeling to diversify dialog simulations
This paper proposes a novel user intention simulation method which is data-driven but can integrate diverse user discourse knowledge to simulate various types of user behaviors. A...
Sangkeun Jung, Cheongjae Lee, Kyungduk Kim, Donghy...
EACL
2010
ACL Anthology
15 years 23 days 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
121
Voted
ILP
2000
Springer
15 years 4 months ago
Searching the Subsumption Lattice by a Genetic Algorithm
A framework for combining Genetic Algorithms with ILP methods is introduced and a novel binary representation and relevant genetic operators are discussed. It is shown that the pro...
Alireza Tamaddoni-Nezhad, Stephen Muggleton
114
Voted
LPNMR
2001
Springer
15 years 5 months ago
Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto
Lixto is a system and method for the visual and interactive generation of wrappers for Web pages under the supervision of a human developer, for automatically extracting informatio...
Robert Baumgartner, Sergio Flesca, Georg Gottlob