1486 search results - page 105 / 298 » Mathematical Fuzzy Logics |
151
click to vote
MLQ
1998
15 years 4 months ago
1998
We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theor...
128
click to vote
ICIAP
1997
ACM
15 years 8 months ago
1997
ACM
We present a model for image retrieval in which images are represented both at the form level, as sets of physical features of the representing objects, and at the content level, a...
174
click to vote
MKM
2004
Springer
15 years 10 months ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
152
click to vote
IEE
2008
15 years 4 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
150
click to vote
AI
1999
Springer
15 years 4 months ago
1999
Springer
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...