2646 search results - page 347 / 530 » Local Type Inference |
284
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
179
click to vote
VISUALIZATION
2005
IEEE
16 years 11 days ago
2005
IEEE
Topological concepts and techniques have been broadly applied in computer graphics and geometric modeling. However, the homotopy type of a mapping between two surfaces has not bee...
183
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Extensive and automated data integration in bioinformatics facilitates the construction of large, complex biological networks. However, the challenge lies in the inter...
185
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We combine local texture features (PCA-SIFT), global features (shape context), and spatial features within a single multi-layer AdaBoost model of object class recognition. The fir...
177
click to vote
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Motion-based face recognition is a young research topic, inspired mainly by psychological studies on motionbased perception of human faces. Unlike its close relative, appearance-b...