1072 search results - page 127 / 215 » Object-Oriented Type Inference |
156
Voted
PKC
2010
Springer
15 years 7 months ago
2010
Springer
In many practical settings, participants are willing to deviate from the protocol only if they remain undetected. Aumann and Lindell introduced a concept of covert adversaries to f...
134
click to vote
NIPS
2008
15 years 5 months ago
2008
Uncertainty is omnipresent when we perceive or interact with our environment, and the Bayesian framework provides computational methods for dealing with it. Mathematical models fo...
120
Voted
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
123
Voted
CSL
2006
Springer
15 years 3 months ago
2006
Springer
Grammar induction, also known as grammar inference, is one of the most important research areas in the domain of natural language processing. Availability of large corpora has enc...
112
click to vote
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. Exceptions are an indispensable part of modern programming languages. They are, however, handled poorly, especially by higherorder languages such as Standard ML and Haske...