2162 search results - page 72 / 433 » Automated Reasoning on Feature Models |
161
Voted
ISBI
2011
IEEE
14 years 7 months ago
2011
IEEE
We present a model for the automated segmentation of cells from confocal microscopy volumes of biological samples. The segmentation task for these images is exceptionally challeng...
150
click to vote
CSL
2001
Springer
15 years 8 months ago
2001
Springer
Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper table...
140
Voted
FMSD
2008
15 years 3 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
132
Voted
EWCBR
2004
Springer
15 years 9 months ago
2004
Springer
Textual CBR systems solve problems by reusing experiences that are in textual form. Knowledge-rich comparison of textual cases remains an important challenge for these systems. How...
123
click to vote
PLILP
1993
Springer
15 years 7 months ago
1993
Springer
This paper shows a multisequential model to exploit OR parallelism on distributed memory systems. It presents an implementation of the incremental copy mechanism oriented to distr...