1220 search results - page 84 / 244 » Minimal Interval Completions |
FROCOS
2009
Springer
14 years 1 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
BIOINFORMATICS
2011
13 years 4 months ago
2011
Motivation: Analysis and intervention in the dynamics of gene regulatory networks is at the heart of emerging efforts in the development of modern treatment of numerous ailments i...
ICCV
2005
IEEE
14 years 11 months ago
2005
IEEE
This paper presents a new surface content completion framework that can restore both shape and appearance from scanned, incomplete point set inputs. First, the geometric holes can...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
Integration systems typically support only a restricted set of queries over the schema they export. The reason is that the participating information sources contribute limited con...
ACCV
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a novel, automated method to remove partial occlusion from a single image. In particular, we are concerned with occlusions resulting from objects that fall on o...