5619 search results - page 124 / 1124 » A Region Inference Algorithm |
APLAS
2004
ACM
15 years 1 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
EMNLP
2010
14 years 8 months ago
2010
With the proliferation of user-generated articles over the web, it becomes imperative to develop automated methods that are aware of the ideological-bias implicit in a document co...
105
click to vote
WABI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Haplotype inference problem asks for a set of haplotypes explaining a given set of genotypes. Popular software tools for haplotype inference (e.g., PHASE, HAPLOTYPER) as ...
105
click to vote
ECCV
2008
Springer
15 years 12 months ago
2008
Springer
In this work, we present an approach to jointly segment a rigid object in a 2D image and estimate its 3D pose, using the knowledge of a 3D model. We naturally couple the two proces...
WABI
2007
Springer
15 years 4 months ago
2007
Springer
The within-species genetic variation due to recombinations leads to a mosaic-like structure of DNA. This structure can be modeled, e.g. by parsing sample sequences of current DNA w...