4190 search results - page 185 / 838 » Type Class Directives |
100
click to vote
OOPSLA
1990
Springer
15 years 8 months ago
1990
Springer
The diverse inheritance mechanisms provided by Smalltalk, Beta, and CLOS are interpreted as different uses of a single underlying construct. Smalltalk and Beta differ primarily in...
117
click to vote
PR
2007
15 years 3 months ago
2007
This paper presents a direct method for finding corresponding pairs of parts between two shapes. Statistical knowledge about a large number of parts from many different objects is...
122
click to vote
AAAI
2011
14 years 4 months ago
2011
The utility of including cyclic flow of control in plans has been long recognized by the planning community. Loops in a plan increase both its applicability and the compactness o...
116
click to vote
HASKELL
2005
ACM
15 years 9 months ago
2005
ACM
Invertible programming occurs in the area of data conversion where it is required that the conversion in one direction is the inverse of the other. For that purpose, we introduce ...
161
click to vote
NMR
2004
Springer
15 years 9 months ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...