952 search results - page 31 / 191 » Substructural fuzzy logics |
FSS
2010
14 years 11 months ago
2010
102
click to vote
ICIP
2004
IEEE
16 years 3 months ago
2004
IEEE
The task of segmenting cell nuclei in microscope images is a classical image analysis problem. The accurate nuclei segmentation may contribute to development of successful system ...
126
click to vote
TLCA
2007
Springer
15 years 7 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
109
Voted
APAL
2004
15 years 1 months ago
2004
Modus ponens provides the central theme. There are laws, of the form A C. A logic (or other theory) L collects such laws. Any datum A (or theory T incorporating such data) provid...