Sciweavers

115 search results - page 18 / 23
» ai 2003
Sort
View
156
Voted
CAIP
2003
Springer
376views Image Analysis» more  CAIP 2003»
15 years 8 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...
113
Voted
CONTEXT
2003
Springer
15 years 8 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
129
Voted
CSL
2003
Springer
15 years 8 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
139
Voted
ICVS
2003
Springer
15 years 8 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
147
Voted
ILP
2003
Springer
15 years 8 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