16091 search results - page 392 / 3219 » Solving |
281
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
We present a type system for a language based on F, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination o...
178
click to vote
RECOMB
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. The objective function of the genome rearrangement problems allows the integration of other genome-level problems so that they may be solved simultaneously. Three example...
179
click to vote
ICIAP
2001
Springer
16 years 6 months ago
2001
Springer
Deformable models are by their formulation able to solve surface extraction problem from noisy volumetric image data encountered commonly in medical image analysis. However, this ...
160
Voted
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...
188
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Image matting is of great importance in both computer vision and graphics applications. Most existing state-of-the-art techniques rely on large sparse matrices such as the matting ...