463 search results - page 24 / 93 » Induction in Noisy Domains |
121
click to vote
JAR
2010
14 years 6 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
117
click to vote
CINQ
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we present the application of the inductive database approach to two practical analytical case studies: Web usage mining in Web logs and financial data. As far as co...
74
Voted
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we propose a novel approach to feature compensation performed in the cepstral domain. We apply the linear approximation method in the cepstral domain to simplify th...
ENTCS
2002
14 years 11 months ago
2002
The uniformity principle for traced monoidal categories has been introduced as a natural generalization of the uniformity principle (Plotkin's principle) for fixpoint operato...
105
click to vote
CVPR
2009
IEEE
16 years 6 months ago
2009
IEEE
This paper presents a new method to extract a network of vessels centerlines from a medical
image. The network is composed of local geodesics over a four-dimensional space that in...