Sciweavers

3827 search results - page 294 / 766
» The Epsilon Generation Language
Sort
View
ASPDAC
2007
ACM
98views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Efficient Automata-Based Assertion-Checker Synthesis of SEREs for Hardware Emulation
In this paper, we present a method for generating checker circuits from sequential-extended regular expressions (SEREs). Such sequences form the core of increasingly-used Assertion...
Marc Boule, Zeljko Zilic
ACL
2004
15 years 8 months ago
Discriminative Training of a Neural Network Statistical Parser
Discriminative methods have shown significant improvements over traditional generative methods in many machine learning applications, but there has been difficulty in extending th...
James Henderson
KI
2009
Springer
16 years 1 months ago
SceneMaker: Automatic Visualisation of Screenplays
Abstract. Our proposed software system, SceneMaker, aims to facilitate the production of plays, films or animations by automatically interpreting natural language film scripts an...
Eva Hanser, Paul McKevitt, Tom Lunney, Joan Condel...
LREC
2010
171views Education» more  LREC 2010»
15 years 8 months ago
The Kachna L1/L2 Picture Replication Corpus
This paper presents the Kachna Corpus of Spontaneous Speech, in which ten Czech and ten Norwegian speakers were recorded both in their native language and in English. The dialogue...
Helena Spilková, Daniel Brenner, Anton &Oum...
IFL
2007
Springer
128views Formal Methods» more  IFL 2007»
16 years 23 days ago
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity
In this paper we describe the structure of the Essential Haskell Compiler (EHC) and how we manage its complexity, despite its growth from essentials to a full Haskell compiler. Our...
Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra