2585 search results - page 144 / 517 » Automating Coherent Logic |
119
click to vote
RR
2007
Springer
15 years 9 months ago
2007
Springer
This work presents a visualization algorithm for defeasible logic rule bases as well as a software tool that applies this algorithm, according to which, a directed graph is produce...
117
click to vote
DEON
2004
Springer
15 years 8 months ago
2004
Springer
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of thes...
113
click to vote
ICIP
2004
IEEE
16 years 4 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 ...
120
click to vote
DAC
2004
ACM
16 years 4 months ago
2004
ACM
Logic duplication, a commonly used synthesis technique to remove trapped inverters in reconvergent paths of Domino circuits, incurs high area and power penalties. In this paper, w...
105
click to vote
CADE
2006
Springer
16 years 3 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...