2646 search results - page 120 / 530 » Local Type Inference |
106
Voted
AAAI
2006
15 years 4 months ago
2006
This paper summarizes the author's recent work in distributed constraint optimization (DCOP). New local algorithms, as well as theoretical results about the types of solution...
124
Voted
SIGPLAN
2002
15 years 2 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
123
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
138
click to vote
FASE
2005
Springer
15 years 8 months ago
2005
Springer
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
107
Voted
CVPR
2005
IEEE
16 years 4 months ago
2005
IEEE
A new class of kernels for object recognition based on local image feature representations are introduced in this paper. These kernels satisfy the Mercer condition and incorporate...