1403 search results - page 171 / 281 » Quantitative Interprocedural Analysis |
FOCM
2010
13 years 8 months ago
2010
We study the boundary measures of compact subsets of the d-dimensional Euclidean space, which are closely related to Federer’s curvature measures. We show that they can be comput...
IJCV
2010
13 years 8 months ago
2010
An object which moves during the exposure time results in a blurred smear in the image. We consider the smear as if it was the image of a semitransparent object, and we retrieve i...
ISOLA
2010
Springer
13 years 8 months ago
2010
Springer
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
JOT
2010
13 years 8 months ago
2010
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
ICPR
2010
IEEE
13 years 8 months ago
2010
IEEE
In this paper, we perform approximate steering of the elongated 2D Hermite-Gauss functions with respect to rotations and provide a compact analytical expressions for the related ba...