326 search results - page 1 / 66 » Logical Engineering with Instance-Based Methods |
CADE
2007
Springer
14 years 4 months ago
2007
Springer
MICAI
2004
Springer
13 years 9 months ago
2004
Springer
We present an optimization algorithm that combines active learning and locally-weighted regression to find extreme points of noisy and complex functions. We apply our algorithm to...
ICIP
2004
IEEE
14 years 5 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 ...
ENTCS
2008
13 years 4 months ago
2008
In this paper, we describe a proof-theoretic foundation for bottom-up logic programming based on uniform proofs in the setting of the logical framework LF. We present a forward un...
CAISE
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...