Sciweavers

9507 search results - page 653 / 1902
» Time-based language models
Sort
View
OOPSLA
2010
Springer
15 years 5 months ago
Encapsulation and locality: a foundation for concurrency support in multi-language virtual machines?
We propose to search for common abstractions for different concurrency models to enable high-level language virtual machines to support a wide range of different concurrency model...
Stefan Marr
ICASSP
2011
IEEE
14 years 11 months ago
A comparative analysis of dynamic network decoding
The use of statically compiled search networks for ASR systems using huge vocabularies and complex language models often becomes challenging in terms of memory requirements. Dynam...
David Rybach, Ralf Schlüter, Hermann Ney
FEDCSIS
2011
113views more  FEDCSIS 2011»
14 years 7 months ago
Automatic Speech Recognition for Polish in a Computer Game Interface
—The paper describes the process of designing a task-oriented continuous speech recognition system for Polish, based on CMU Sphinx4, to be used in the voice interface of a comput...
Artur Janicki, Dariusz Wawer
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
14 years 2 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
TASE
2012
IEEE
14 years 2 months ago
Discrete-Event Coordination Design for Distributed Agents
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
Manh Tung Pham, Kiam Tian Seow