7928 search results - page 1283 / 1586 » Human-Like Learning Methods for a |
190
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
The paper presents a method for generating solutions of a constraint satisfaction problem (CSP) uniformly at random. The main idea is to express the CSP as a factored probability d...
171
click to vote
CSR
2006
Springer
15 years 10 months ago
2006
Springer
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...
165
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Semi-supervised classification uses aspects of both unsupervised and supervised learning to improve upon the performance of traditional classification methods. Semi-supervised clu...
175
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...
176
click to vote
ICIP
1998
IEEE
15 years 10 months ago
1998
IEEE
A new approach for the segmentation of still and video SAR images is described in this paper. A priori knowledge about the objects present in the image, e.g., target, shadow, and ...