4047 search results - page 506 / 810 » The Discrete Basis Problem |
182
click to vote
LION
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Haplotype Inference is a challenging problem in bioinformatics that consists in inferring the basic genetic constitution of diploid organisms on the basis of their genoty...
135
Voted
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
136
Voted
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
Blind restoration of blurred images is a classical ill-posed problem. There has been considerable interest in the use of partial differential equations to solve this problem. The ...
138
click to vote
ADBIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents an adaptation of the ARIES recovery algorithm that solves the problem of recovery in Shared Disk (SD) database systems, whilst preserving all the desi...
142
Voted
EMMCVPR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we present a novel successive relaxation linear programming scheme for solving the important class of consistent labeling problems for which an L1 metric i...