9359 search results - page 297 / 1872 » Generalization Algorithms for Second-Order Terms |
164
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...
162
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
This paper studies the use of highly dynamic networks as infrastructures for persistent storage of data that offer services at specific geographical zones in a decentralized and...
146
click to vote
HRI
2009
ACM
16 years 1 months ago
2009
ACM
This paper explores the use of an outcome matrix as a computational representation of social interaction suitable for implementation on a robot. An outcome matrix expresses the re...
152
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
Mixtures of Gaussians are a crucial statistical modeling tool at the heart of many challenging applications in computer vision and machine learning. In this paper, we first descri...
150
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
Efficient and effective deployment of IEEE 802.16 networks to service an area of users with certain traffic demands is an important network planning problem. We resort to an evol...