Sciweavers

115 search results - page 18 / 23
» ai 2003
Sort
View
99
Voted
CAIP
2003
Springer
376views Image Analysis» more  CAIP 2003»
15 years 2 months ago
Computing Neck-Shaft Angle of Femur for X-Ray Fracture Detection
Worldwide, 30% – 40% of women and 13% of men suffer from osteoporotic fractures of the bone, particularly the older people. Doctors in the hospitals need to manually inspect a l...
Tai-Peng Tian, Ying Chen, Wee Kheng Leow, Wynne Hs...
CONTEXT
2003
Springer
15 years 2 months ago
On the Difference between Bridge Rules and Lifting Axioms
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
Paolo Bouquet, Luciano Serafini
CSL
2003
Springer
15 years 2 months ago
Generating All Abductive Explanations for Queries on Propositional Horn Theories
Abstract. Abduction is a fundamental mode of reasoning, which has taken on increasing importance in Artificial Intelligence (AI) and related disciplines. Computing abductive expla...
Thomas Eiter, Kazuhisa Makino
ICVS
2003
Springer
15 years 2 months ago
The Imalab Method for Vision Systems
We propose a method to construct computer vision systems using a workbench composed of a multi-faceted toolbox and a general purpose kernel. The toolbox is composed of an open set ...
Augustin Lux
ILP
2003
Springer
15 years 2 months ago
ILP for Mathematical Discovery
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
Simon Colton, Stephen Muggleton