6258 search results - page 213 / 1252 » Applied Text Generation |
97
Voted
ACL
2006
15 years 4 months ago
2006
This paper introduces a method for the semi-automatic generation of grammar test items by applying Natural Language Processing (NLP) techniques. Based on manually-designed pattern...
151
click to vote
CADE
2005
Springer
16 years 3 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
134
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
125
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Object-oriented programming, design patterns, and frameworks are common techniques that have been used to reduce the complexity of sequential programming. We have applied these te...
108
click to vote
ITC
1998
IEEE
15 years 7 months ago
1998
IEEE
New methodologies based on functional testing and built-in self-test can narrow the gap between necessary solutions and existing techniques for processor validation and testing. W...