Sciweavers

14298 search results - page 321 / 2860
» Dynamic Languages and Applications
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Exploiting sparseness of backing-off language models for efficient look-ahead in LVCSR
In this paper, we propose a new method for computing and applying language model look-ahead in a dynamic network decoder, exploiting the sparseness of backing-off n-gram language ...
David Nolden, Hermann Ney, Ralf Schlüter
CADE
2008
Springer
16 years 7 months ago
Collaborative Programming: Applications of Logic and Automated Reasoning
Collaborative Programming is characterized by groups of people issuing instructions to computer systems. Collaborative Programming languages differ from traditional programming lan...
Timothy L. Hinrichs
LICS
2009
IEEE
16 years 1 months ago
Wreath Products of Forest Algebras, with Applications to Tree Logics
—We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics. These i...
Mikolaj Bojanczyk, Howard Straubing, Igor Walukiew...
ATAL
2000
Springer
15 years 11 months ago
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application
Abstract. In this paper, we describe the Cognitive Agents Specification Language (CASL), and exhibit its characteristics by using it to model the multiagent feature interaction re...
Steven Shapiro, Yves Lespérance
PLDI
1995
ACM
15 years 10 months ago
Interprocedural Partial Redundancy Elimination and its Application to Distributed Memory Compilation
Partial Redundancy Elimination PRE is a general scheme for suppressing partial redundancies which encompasses traditional optimizations like loop invariant code motion and redun...
Gagan Agrawal, Joel H. Saltz, Raja Das