Sciweavers

340 search results - page 10 / 68
» A Graph-Based Type Representation for Objects
Sort
View
MST
2007
168views more  MST 2007»
13 years 6 months ago
Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
Milad Niqui
IBPRIA
2005
Springer
14 years 28 days ago
Illumination Intensity, Object Geometry and Highlights Invariance in Multispectral Imaging
It is well-known that image pixel values of an object could vary if the lighting conditions change. Some common factors that produce changes in the pixels values are due to the vie...
Raúl Montoliu, Filiberto Pla, Arnoud C. Kla...
ICIP
2001
IEEE
14 years 9 months ago
Curves vs skeletons in object recognition
The type of representation used in describing shape can have a significant impact on the effectiveness of a recognition strategy. Shape has been represented by its bounding curve ...
Thomas B. Sebastian, Benjamin B. Kimia
JUCS
2008
115views more  JUCS 2008»
13 years 7 months ago
An Implementation of CLIM Presentation Types
: Presentation types are used in the CLIM interface library to tag graphical output with a type and establish an input type context in which the user may use the keyboard to type i...
Timothy Moore
CVPR
2012
IEEE
11 years 9 months ago
SURFing the point clouds: Selective 3D spatial pyramids for category-level object recognition
This paper proposes a novel approach to recognize object categories in point clouds. By quantizing 3D SURF local descriptors, computed on partial 3D shapes extracted from the poin...
Carolina Redondo-Cabrera, Roberto Javier Ló...