Sciweavers

9444 search results - page 269 / 1889
» The Language Model LMNtal
Sort
View
FEDCSIS
2011
113views more  FEDCSIS 2011»
14 years 6 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
POPL
2012
ACM
14 years 2 months ago
Analysis of recursively parallel programs
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
Ahmed Bouajjani, Michael Emmi
POPL
2003
ACM
16 years 7 months ago
Toward a foundational typed assembly language
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
Karl Crary
IJCAI
2001
15 years 8 months ago
IBAL: A Probabilistic Rational Programming Language
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
Avi Pfeffer
MODELS
2010
Springer
15 years 5 months ago
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models
In feature models’ construction, one basic task is to ensure the consistency of feature models, which often involves detecting and fixing of inconsistencies in feature models. S...
Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao,...