2646 search results - page 68 / 530 » Local Type Inference |
92
Voted
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
In this paper we present a method for learning a curve model for detection and segmentation by closely integrating a hierarchical curve representation using generative and discrim...
MICCAI
2008
Springer
16 years 1 months ago
2008
Springer
In this paper, we propose a so-called AutoGate algorithm for fast and automatic Doppler gate localization in B-mode echocardiography. The algorithm has two components: 1) cardiac s...
108
click to vote
JGS
2006
15 years 16 days ago
2006
Map comparison techniques based on a pixel-by-pixel comparison are useful for many purposes, but fail to reveal important aspects of map similarities and differences. In contrast, ...
132
click to vote
CORR
2012
Springer
13 years 8 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
92
Voted
ICPR
2002
IEEE
16 years 1 months ago
2002
IEEE
In this paper, a novel personalized feature combination scheme is proposed for face verification. ANFIS (Adaptive Neuro-Fuzzy Inference System) and SVM (Support Vector Machine) ar...