5619 search results - page 124 / 1124 » A Region Inference Algorithm |
114
click to vote
APLAS
2004
ACM
15 years 6 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 ...
130
click to vote
EMNLP
2010
15 years 7 days 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...
144
click to vote
WABI
2004
Springer
15 years 7 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 ...
149
click to vote
ECCV
2008
Springer
16 years 4 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...
113
click to vote
WABI
2007
Springer
15 years 8 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...