Sciweavers

425 search results - page 69 / 85
» Flux Invariants for Shape
Sort
View
LICS
2005
IEEE
15 years 3 months ago
Certifying Compilation for a Language with Stack Allocation
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
Limin Jia, Frances Spalding, David Walker, Neal Gl...
DAGM
2005
Springer
15 years 3 months ago
Variational Deblurring of Images with Uncertain and Spatially Variant Blurs
We consider the problem of deblurring images which have been blurred by different reasons during image acquisition. We propose a variational approach admitting spatially variant an...
Martin Welk, David Theis, Joachim Weickert
102
Voted
EMMCVPR
2005
Springer
15 years 3 months ago
Retrieving Articulated 3-D Models Using Medial Surfaces and Their Graph Spectra
We consider the use of medial surfaces to represent symmetries of cts. This allows for a qualitative abstraction based on a directed acyclic graph of components and also a degree o...
Juan Zhang, Kaleem Siddiqi, Diego Macrini, Ali Sho...
AMR
2003
Springer
139views Multimedia» more  AMR 2003»
15 years 3 months ago
Intelligent Visual Descriptor Extraction from Video Sequences
Abstract. Extraction of visual descriptors is a crucial problem for stateof-the-art visual information analysis. In this paper, we present a knowledgebased approach for detection o...
Paraskevi K. Tzouveli, Georgios Andreou, Gabriel T...
ICPR
2002
IEEE
15 years 3 months ago
Hand Pose Recognition Using Curvature Scale Space
In this paper, we present a novel feature extraction approach based on Curvature Scale Space (CSS) for translation, scale, and rotation invariant recognition of hand poses. First,...
Chin-Chen Chang, I-Yen Chen, Yea-Shuan Huang