1034 search results - page 151 / 207 » Inference of field initialization |
194
click to vote
RECOMB
2006
Springer
16 years 6 months ago
2006
Springer
Prokaryotic organisms share genetic material across species boundaries by means of a process known as horizontal gene transfer (HGT). Detecting this process bears great significanc...
167
click to vote
CADE
2007
Springer
16 years 9 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
169
click to vote
CIBCB
2006
IEEE
16 years 6 days ago
2006
IEEE
— Successful biological image analysis usually requires satisfactory segmentations to identify regions of interest as an intermediate step. Here we present a novel graphical mode...
184
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
Never before have so many information sources been available. Most are accessible on-line and some exist on the Internet alone. However, this large information quantity makes inte...
157
click to vote
MATES
2004
Springer
15 years 11 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...