1920 search results - page 127 / 384 » The Range Constraint: Algorithms and Implementation |
138
click to vote
ECOOP
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
136
click to vote
ENTCS
2010
14 years 11 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
164
click to vote
ISBI
2004
IEEE
16 years 4 months ago
2004
IEEE
We present a new fast implementation of a non-rigid registration algorithm, based on a finite element elastic deformation model using the mutual information metric with a linear e...
136
click to vote
IJCAI
2003
15 years 5 months ago
2003
We present a simple, easily implemented spectral learning algorithm which applies equally whether we have no supervisory information, pairwise link constraints, or labeled example...
169
click to vote
CPAIOR
2011
Springer
14 years 7 months ago
2011
Springer
We introduce the Upgrading Shortest Paths Problem, a new combinatorial problem for improving network connectivity with a wide range of applications from multicast communication to ...