Sciweavers

3185 search results - page 347 / 637
» Domain and language evaluation results
Sort
View
FCCM
2004
IEEE
144views VLSI» more  FCCM 2004»
15 years 10 months ago
Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine
In this paper we present a novel use of an FPGA as a computing element for streaming based application. We investigate the virtualized execution of dynamic reconfigurable tasks. We...
Matthias Dyer, Marco Platzner, Lothar Thiele
STOC
1987
ACM
104views Algorithms» more  STOC 1987»
15 years 10 months ago
The Boolean Formula Value Problem Is in ALOGTIME
The Boolean formula value problem is in alternating log time and, more generally, parenthesis context-free languages are in alternating log time. The evaluation of reverse Polish ...
Samuel R. Buss
ADAEUROPE
2008
Springer
15 years 9 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
EMNLP
2007
15 years 8 months ago
A Two-Stage Parser for Multilingual Dependency Parsing
We present a two-stage multilingual dependency parsing system submitted to the Multilingual Track of CoNLL-2007. The parser first identifies dependencies using a deterministic p...
Wenliang Chen, Yujie Zhang, Hitoshi Isahara
LREC
2008
108views Education» more  LREC 2008»
15 years 8 months ago
CLIoS: Cross-lingual Induction of Speech Recognition Grammars
We present an approach for the cross-lingual induction of speech recognition grammars that separates the task of translation from the task of grammar generation. The source speech...
Nadine Perera, Michael Pitz, Manfred Pinkal