1220 search results - page 42 / 244 » Minimal Interval Completions |
TABLEAUX
1999
Springer
14 years 1 months ago
1999
Springer
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...
ACCV
1998
Springer
14 years 1 months ago
1998
Springer
A new paradigm, the minimization of errors in synthesized images, is introduced to organically combine Computer Vision and Computer Graphics for Virtual Reality applications. Based...
ARSCOM
2008
13 years 9 months ago
2008
We classify the minimal blocking sets of size 15 in PG(2, 9). We show that the only examples are the projective triangle and the sporadic example arising from the secants to the u...
MICCAI
2006
Springer
14 years 10 months ago
2006
Springer
Fully automatic, completely reliable segmentation in medical images is an unrealistic expectation with today's technology. However, many automatic segmentation algorithms may ...
DEXAW
2006
IEEE
14 years 3 months ago
2006
IEEE
We study inference rules for multivalued dependencies in relational databases with null values (NMVDs). The definition of NMVDs is dependent on the underlying relation schema and ...