Sciweavers

5855 search results - page 247 / 1171
» Test generation and minimization with
Sort
View
EMNLP
2006
15 years 8 months ago
Statistical Ranking in Tactical Generation
In this paper we describe and evaluate several statistical models for the task of realization ranking, i.e. the problem of discriminating between competing surface realizations ge...
Erik Velldal, Stephan Oepen
GECCO
2007
Springer
179views Optimization» more  GECCO 2007»
16 years 24 days ago
The second harmonic generation case-study as a gateway for es to quantum control problems
The Second Harmonic Generation (SHG), a process that turns out to be a good test case in the physics lab, can also be considered as a fairly simple theoretical test function for g...
Ofer M. Shir, Thomas Bäck
178
Voted
CAV
1993
Springer
127views Hardware» more  CAV 1993»
15 years 10 months ago
Symbolic Equivalence Checking
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
Jean-Claude Fernandez, Alain Kerbrat, Laurent Moun...
FLAIRS
2011
14 years 10 months ago
Affective Text: Generation Strategies and Emotion Measurement Issues
In affective natural language generation (NLG) a major aim is to be able to influence the emotional effects evoked in the addressee through the intelligent use of language. While...
Ielka van der Sluis, Chris Mellish, Gavin Doherty
170
Voted
IFIP
2001
Springer
15 years 11 months ago
Random Adjacent Sequences: An Efficient Solution for Logic BIST
: High defect coverage requires good coverage of different fault types. In this paper, we present a comprehensive test vector generation technique for BIST, called Random Single In...
René David, Patrick Girard, Christian Landr...