4743 search results - page 170 / 949 » The PlusCal Algorithm Language |
103
Voted
COCO
2003
Springer
15 years 8 months ago
2003
Springer
We define and study strong diagonalization and compare it to weak diagonalization, implicit in [7]. Kozen’s result in [7] shows that virtually every separation can be recast as...
253
Voted
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
114
click to vote
LTCONF
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we present a set of optimizations for a spoken language interface for mobile devices that can improve the recognition accuracy and user interaction experience. A com...
141
click to vote
SIGIR
2003
ACM
15 years 8 months ago
2003
ACM
We propose a Bayesian extension to the ad-hoc Language Model. Many smoothed estimators used for the multinomial query model in ad-hoc Language Models (including Laplace and Bayes-...
167
click to vote
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...