6155 search results - page 188 / 1231 » A language for multiple models of computation |
148
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Spoken language interfaces based on interactive semantic language models [16, 14] allow probabilities for hypothesized words to be conditioned on the semantic interpretation of th...
155
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
182
click to vote
JVA
2006
IEEE
16 years 16 days ago
2006
IEEE
In this paper, we will introduce to describe learning resources by using ontology model based on metadata of learning standard as Sharable Content Object Reference Model (SCORM) a...
153
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
We give a polynomial time algorithm that computes a decomposition of a finite group G given in the form of its multiplication table. That is, given G, the algorithm outputs two su...
152
click to vote
COLING
2010
15 years 1 months ago
2010
We present a framework where auxiliary MT systems are used to provide lexical predictions to a main SMT system. In this work, predictions are obtained by means of pivoting via aux...