6562 search results - page 33 / 1313 » Noetherianity and Combination Problems |
131
Voted
ICCAD
1991
IEEE
15 years 4 months ago
1991
IEEE
This paper presents an efficient algorithm for the generation of diagnostic test patterns which distinguish between two arbitrary single stuck-at faults. The algorithm is able to ...
130
Voted
IJIT
2004
15 years 2 months ago
2004
This paper presents a semi-supervised learning algorithm called Iterative-Cross Training (ICT) to solve the Web pages classification problems. We apply Inductive logic programming ...
122
Voted
TREC
2004
15 years 2 months ago
2004
This paper describes the work we have been done in the last year on the DIOGENE Question Answering system developed at ITC-Irst. We present two preliminary experiments showing the...
123
click to vote
FROCOS
2000
Springer
15 years 4 months ago
2000
Springer
In this paper we extend the applicability of our combination method for decision procedures for the word problem to theories sharing non-collapse-free constructors. This extension ...
69
Voted
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
Constructing a one to one correspondence between whole brain MR image scans is a problem of critical importance in neuroimaging analyses. We present a framework to combine the stre...