3179 search results - page 338 / 636 » Applications of PCF Theory |
108
click to vote
CHI
1992
ACM
15 years 7 months ago
1992
ACM
This paper describes a computational model of skilled use of a graphical user interface based on Kintsch's construction-integration theory [4, 8]. The model uses knowledge of...
114
click to vote
ASWEC
2007
IEEE
15 years 7 months ago
2007
IEEE
There is a growing demand for web applications to provide fair service to the highly concurrent requests. In this paper, we present an approach to addressing this requirement. Bas...
148
click to vote
CSL
2007
Springer
15 years 7 months ago
2007
Springer
We give a new proof showing that it is not possible to define in monadic second-order logic (MSO) a choice function on the infinite binary tree. This result was first obtained by G...
124
click to vote
ECSQARU
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper addresses the issue of measuring similarity between pieces of uncertain information in the framework of possibility theory. In a first part, natural properties...
122
click to vote
SIGIR
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we propose a new application of Bayesian language model based on Pitman-Yor process for information retrieval. This model is a generalization of the Dirichlet distr...