4211 search results - page 615 / 843 » Types as Abstract Interpretations |
144
click to vote
JAT
2010
2010
Asymptotics for Jacobi-Sobolev orthogonal polynomials associated with non-coherent pairs of measures
15 years 4 months ago
Abstract: Inner products of the type f, g S = f, g ψ0 + f , g ψ1 , where one of the measures ψ0 or ψ1 is the measure associated with the Jacobi polynomials, are usually referre...
157
Voted
JOT
2010
15 years 4 months ago
2010
entional vulnerability detection fails to extend its generic form to an abstract level in coping with particular type of string validation. Consequently the security bypasses key ...
196
Voted
JOT
2010
15 years 4 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...
126
click to vote
JUCS
2010
15 years 4 months ago
2010
Abstract: This paper presents a nonlinear solver based on the Newton-Krylov methods, where the Newton equations are solved by Krylov-subspace type approaches. We focus on the solut...
177
Voted
MICCAI
2010
Springer
15 years 4 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 ...