5619 search results - page 189 / 1124 » A Region Inference Algorithm |
138
click to vote
PPDP
2010
Springer
15 years 22 days ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
137
click to vote
DLS
2008
15 years 4 months ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
94
Voted
ICML
2006
IEEE
16 years 3 months ago
2006
IEEE
In this paper we study a new framework introduced by Vapnik (1998) and Vapnik (2006) that is an alternative capacity concept to the large margin approach. In the particular case o...
120
click to vote
WWW
2010
ACM
15 years 9 months ago
2010
ACM
Many researchers have noted that web search queries are often ambiguous or unclear. We present an approach for identifying the popular meanings of queries using web search logs an...
116
Voted
ICML
2009
IEEE
15 years 9 months ago
2009
IEEE
We propose a deterministic method to evaluate the integral of a positive function based on soft-binning functions that smoothly cut the integral into smaller integrals that are ea...