749 search results - page 67 / 150 » Scenario based Analysis of Linear Computations |
136
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
Theoretical understanding and extension of mean shift procedure has received much attention recently [8, 18, 3]. In this paper, we present a theoretical exploration and an algorit...
129
click to vote
BIBE
2007
IEEE
15 years 10 months ago
2007
IEEE
—A computational framework is presented for surface based morphometry to localize shape changes between groups of 3D objects. It employs the spherical harmonic (SPHARM) method fo...
120
Voted
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
126
click to vote
CASSIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
131
click to vote
ICPR
2000
IEEE
16 years 5 months ago
2000
IEEE
Probabilistic feature relevance learning (PFRL) is an effective technique for adaptively computing local feature relevance for content-based image retrieval. It however becomes le...