2701 search results - page 201 / 541 » On the form of witness terms |
149
click to vote
JMLR
2010
15 years 5 months ago
2010
The problem is sequence prediction in the following setting. A sequence x1, . . . , xn, . . . of discrete-valued observations is generated according to some unknown probabilistic ...
159
click to vote
MM
2010
ACM
15 years 5 months ago
2010
ACM
This thesis aims to analyze, model, and develop a framework for next-generation multimedia authoring tools targeted to end-users. In particular, I concentrate on the combination o...
219
click to vote
WOLLIC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
174
click to vote
ACL
2009
15 years 4 months ago
2009
User generated content is characterized by short, noisy documents, with many spelling errors and unexpected language usage. To bridge the vocabulary gap between the user's in...
186
click to vote
BCSHCI
2009
15 years 4 months ago
2009
In this paper we discuss the different elements of the gaming experience and their relation to other concepts within HCI. The objective is to showcase how the different elements t...