Sciweavers

3333 search results - page 282 / 667
» New Invariants for Groups
Sort
View
DAGM
2005
Springer
16 years 10 days ago
Spiders as Robust Point Descriptors
This paper introduces a new operator to characterize a point in an image in a distinctive and invariant way. The robust recognition of points is a key technique in computer vision:...
Adam Stanski, Olaf Hellwich
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
16 years 9 days ago
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
Matthew Harren, George C. Necula
ESA
2004
Springer
139views Algorithms» more  ESA 2004»
16 years 6 days ago
Comparing Real Algebraic Numbers of Small Degree
We study polynomials of degree up to 4 over the rationals or a computable real subfield. Our motivation comes from the need to evaluate predicates in nonlinear computational geome...
Ioannis Z. Emiris, Elias P. Tsigaridas
ECCV
2010
Springer
16 years 4 days ago
Fast Multi-Aspect 2D Human Detection
Abstract. We address the problem of detecting human figures in images, taking into account that the image of the human figure may be taken from a range of viewpoints. We capture ...
AMFG
2003
IEEE
126views Biometrics» more  AMFG 2003»
16 years 3 days ago
Rank Constrained Recognition under Unknown Illuminations
Recognition under illumination variations is a challenging problem. The key is to successfully separate the illumination source from the observed appearance. Once separated, what ...
Shaohua Kevin Zhou, Rama Chellappa