10 search results - page 1 / 2 » Automated deduction: achievements and future directions |
CACM
2000
13 years 4 months ago
2000
ISBI
2004
IEEE
14 years 5 months ago
2004
IEEE
Fluorescence microscope images capture information from an entire field of view, which often comprises several cells scattered on the slide. We have previously trained classifiers...
DAC
1999
ACM
14 years 5 months ago
1999
ACM
This paper describes a novel methodology for high performance asynchronous design based on timed circuits and on CAD support for their synthesis using Relative Timing. This method...
ILP
2005
Springer
13 years 10 months ago
2005
Springer
In this paper, we focus on the problem of learning reactive skills for use by physical agents. We propose a new representation for such procedures, teleoreactive logic programs, al...
MATES
2004
Springer
13 years 10 months ago
2004
Springer
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an exp...