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»
14 years 9 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
14 years 11 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»
14 years 9 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»
14 years 9 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
93
Voted
WSC
2000
14 years 10 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...