2373 search results - page 119 / 475 » On the Theory of Structural Subtyping |
169
click to vote
APAL
2004
15 years 6 months ago
2004
The theory of concept lattices (i.e. hierarchical structures of concepts in the sense of Port-Royal school) is approached from the point of view of fuzzy logic. The notions of par...
165
click to vote
ARTMED
1998
15 years 6 months ago
1998
Abstract: The theory of conceptual structures serves as a common basis for natural language processing and medical concept representation. We present a PROLOG-based formalization o...
153
click to vote
MFCS
2007
Springer
16 years 20 days ago
2007
Springer
In computability theory, program self-reference is formalized by the not-necessarily-constructive form of Kleene’s Recursion Theorem (krt). In a programming system in which krt h...
161
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
Maximum Likelihood estimation theory can be used to develop optimal timing recovery schemes for digital communication systems. Tunable digital interpolation filters are commonly ...
148
click to vote
NIPS
2007
15 years 8 months ago
2007
Can we leverage learning techniques to build a fast nearest-neighbor (ANN) retrieval data structure? We present a general learning framework for the NN problem in which sample que...