17983 search results - page 80 / 3597 » Set Types and Applications |
121
Voted
AMAST
2010
Springer
14 years 9 months ago
2010
Springer
Fusion is an indispensable tool in the arsenal of techniques for program derivation. Less well-known, but equally valuable is type fusion, which states conditions for fusing an app...
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
117
click to vote
EPIA
2001
Springer
15 years 7 months ago
2001
Springer
The goal of this paper is to further investigate the extreme behaviour of the proportional membership model (FCPM) in contrast to the central tendency of fuzzy c-means (FCM). A dat...
109
click to vote
HICSS
1997
IEEE
15 years 6 months ago
1997
IEEE
The goal of this paper is to develop methods to handle inconsistent knowledge elicited from multiple sources. Knowledge is represented using predicates that define relationships w...
113
click to vote
ICANN
2007
Springer
15 years 8 months ago
2007
Springer
Finding the largest linearly separable set of examples for a given Boolean function is a NP-hard problem, that is relevant to neural network learning algorithms and to several prob...