Sciweavers

Share
326 search results - page 1 / 66
» Logical Engineering with Instance-Based Methods
Sort
View
MICAI
2004
Springer
11 years 6 months ago
An Optimization Algorithm Based on Active and Instance-Based Learning
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...
Olac Fuentes, Thamar Solorio
ICIP
2004
IEEE
12 years 3 months ago
Cell nuclei segmentation using fuzzy logic engine
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 ...
Grigory Begelman, Eran Gur, Ehud Rivlin, Michael R...
ENTCS
2008
75views more  ENTCS 2008»
11 years 1 months ago
Focusing the Inverse Method for LF: A Preliminary Report
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...
Brigitte Pientka, Xi Li, Florent Pompigne
CAISE
2005
Springer
11 years 7 months ago
The Logic of Correctness in Software Engineering
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, ...
Mark Priestly
books