Sciweavers

1370 search results - page 35 / 274
» Towards Automatic Generation of Natural Language Generation ...
Sort
View
NAACL
1994
15 years 1 months ago
Recent Improvements in the CMU Spoken Language Understanding System
We have been developing a spoken language system to recognize and understand spontaneous speech. It is difficult for such systems to achieve good coverage of the lexicon and gramm...
Wayne Ward, Sunil Issar
VLSID
2007
IEEE
154views VLSI» more  VLSID 2007»
16 years 5 days ago
Model Based Test Generation for Microprocessor Architecture Validation
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
Sreekumar V. Kodakara, Deepak Mathaikutty, Ajit Di...
VL
2006
IEEE
122views Visual Languages» more  VL 2006»
15 years 5 months ago
AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets
In this paper we present a system that helps users test their spreadsheets using automatically generated test cases. The system generates the test cases by backward propagation an...
Robin Abraham, Martin Erwig
IUI
2006
ACM
15 years 5 months ago
Interactive learning of structural shape descriptions from automatically generated near-miss examples
Sketch interfaces provide more natural interaction than the traditional mouse and palette tool, but can be time consuming to build if they have to be built anew for each new domai...
Tracy Hammond, Randall Davis
FLOPS
2010
Springer
15 years 6 months ago
Automatically Generating Counterexamples to Naive Free Theorems
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
Daniel Seidel, Janis Voigtländer