5995 search results - page 276 / 1199 » Algorithmic Game Theory |
202
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
This paper studies document ranking under uncertainty. It is tackled in a general situation where the relevance predictions of individual documents have uncertainty, and are depen...
180
click to vote
EJC
2003
15 years 8 months ago
2003
The goal of this paper is to build a bridge from a certain intuitive conception of natural language communication, called the SLIM theory of language, to a technical approach, cal...
178
click to vote
TPHOL
2005
IEEE
16 years 8 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
165
click to vote
STOC
1989
ACM
15 years 10 months ago
1989
ACM
This paper takes the next step in developing the theory of average case complexity initiated by Leonid A Levin. Previous works Levin 84, Gurevich 87, Venkatesan and Levin 88] have...
175
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Few people use the probability theory in order to achieve image segmentation with snake models. In this article1 , we are presenting an active contour algorithm based on a probabi...