Sciweavers

9931 search results - page 218 / 1987
» Generative Modeling by PRISM
Sort
View
TCAD
2002
145views more  TCAD 2002»
15 years 3 months ago
Automatic generation of synthetic sequential benchmark circuits
The design of programmable logic architectures and supporting computer-aided design tools fundamentally requires both a good understanding of the combinatorial nature of netlist gr...
Michael D. Hutton, Jonathan Rose, Derek G. Corneil
165
Voted
EMNLP
2011
14 years 3 months ago
Learning Sentential Paraphrases from Bilingual Parallel Corpora for Text-to-Text Generation
Previous work has shown that high quality phrasal paraphrases can be extracted from bilingual parallel corpora. However, it is not clear whether bitexts are an appropriate resourc...
Juri Ganitkevitch, Chris Callison-Burch, Courtney ...
CSL
2004
Springer
15 years 3 months ago
Automatic capitalisation generation for speech input
Two different systems are proposed for the task of capitalisation generation. The first system is a slightly modified speech recogniser. In this system, every word in the vocabula...
Ji-Hwan Kim, Philip C. Woodland
133
Voted
VLSID
2009
IEEE
150views VLSI» more  VLSID 2009»
16 years 4 months ago
TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis
We present the automatic test pattern generator TIGUAN based on a thread-parallel SAT solver. Due to a tight integration of the SAT engine into the ATPG algorithm and a carefully ...
Alejandro Czutro, Ilia Polian, Matthew D. T. Lewis...
114
Voted
AIED
2009
Springer
15 years 10 months ago
Combining Evaluative and Generative Diagnosis in ACTIVEMATH
Generative and evaluative approaches are two different ways of diagnosing students’ input that have been realized in a number of intelligent tutoring systems. We describe how Ac...
George Goguadze, Erica Melis