Sciweavers

75 search results - page 9 / 15
» Jeffrey's rule of conditioning generalized to belief functio...
Sort
View
CORR
2006
Springer
116views Education» more  CORR 2006»
15 years 1 months ago
Rewriting modulo in Deduction modulo
Abstract. We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions a...
Frédéric Blanqui
AIA
2007
15 years 2 months ago
Classification of biomedical high-resolution micro-CT images for direct volume rendering
This paper introduces a machine learning approach into the process of direct volume rendering of biomedical highresolution 3D images. More concretely, it proposes a learning pipel...
Maite López-Sánchez, Jesús Ce...
CORR
2010
Springer
186views Education» more  CORR 2010»
15 years 1 months ago
A Homogeneous Reaction Rule Language for Complex Event Processing
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
Adrian Paschke, Alexander Kozlenkov, Harold Boley
CORR
2010
Springer
209views Education» more  CORR 2010»
15 years 1 months ago
An Algorithm to Extract Rules from Artificial Neural Networks for Medical Diagnosis Problems
Artificial neural networks (ANNs) have been successfully applied to solve a variety of classification and function approximation problems. Although ANNs can generally predict bett...
S. M. Kamruzzaman, Md. Monirul Islam
WSC
2000
15 years 2 months ago
A comparison of five steady-state truncation heuristics for simulation
We compare the performance of five well-known truncation heuristics for mitigating the effects of initialization bias in the output analysis of steady-state simulations. Two of th...
K. Preston White, Michael J. Cobb, Stephen C. Spra...