Sciweavers

27827 search results - page 194 / 5566
» Generating
Sort
View
PTS
2010
175views Hardware» more  PTS 2010»
14 years 9 months ago
Test Data Generation for Programs with Quantified First-Order Logic Specifications
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
Christoph Gladisch
ACL
2009
14 years 9 months ago
Learning to Tell Tales: A Data-driven Approach to Story Generation
Computational story telling has sparked great interest in artificial intelligence, partly because of its relevance to educational and gaming applications. Traditionally, story gen...
Neil McIntyre, Mirella Lapata
ICIP
2009
IEEE
14 years 9 months ago
Face virtual pose generation using aligned locally linear regression for face recognition
In this paper a new solution for the single sample problem in low resolution face recognition is proposed. The proposed solution uses an enhanced virtual pose generation method to...
Mohammad H. Rohban, Hamid R. Rabiee, Arash Vahdat
COLING
2010
14 years 6 months ago
Leveraging Multiple MT Engines for Paraphrase Generation
This paper proposes a method that leverages multiple machine translation (MT) engines for paraphrase generation (PG). The method includes two stages. Firstly, we use a multi-pivot...
Shiqi Zhao, Haifeng Wang, Xiang Lan, Ting Liu
COLING
2010
14 years 6 months ago
Generative Alignment and Semantic Parsing for Learning from Ambiguous Supervision
We present a probabilistic generative model for learning semantic parsers from ambiguous supervision. Our approach learns from natural language sentences paired with world states ...
Joohyun Kim, Raymond J. Mooney