128 search results - page 12 / 26 » Type Reconstruction for General Refinement Types |
PAMI
2008
13 years 8 months ago
2008
In this paper, the duality in differential form is developed between a 3D primal surface and its dual manifold formed by the surface's tangent planes, i.e., each tangent plan...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Finding sparse approximate solutions to large underdetermined linear systems of equations is a common problem in signal/image processing and statistics. Basis pursuit, the least a...
MICCAI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We introduce a fibre tractography framework based on a particle filter which estimates a local geometrical model of the underlying white matter tract, formulated as a ...
TACS
1994
Springer
14 years 19 days ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...