2451 search results - page 431 / 491 » The Octagon Abstract Domain |
116
click to vote
CGO
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Current programming models and compiler technologies for multi-core processors do not exploit well the performance benefits obtainable by applying algorithm-specific, ...
119
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
87
Voted
ECCV
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. We develop new mathematical results based on the spherical harmonic convolution framework for reflection from a curved surface. We derive novel identities, which are the ...
202
Voted
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract-- A decomposition of a binary matrix into two matrices gives a set of basis vectors and their appropriate combination to form the original matrix. Such decomposition solut...
118
Voted
VIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract--This paper presents a novel and efficient surface matching and visualization framework through the geodesic distanceweighted shape vector image diffusion. Based on confor...