45 search results - page 4 / 9 » Principles for Inconsistency |
MATES
2004
Springer
14 years 27 days ago
2004
Springer
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an exp...
MICCAI
2003
Springer
14 years 8 months ago
2003
Springer
Abstract. An automated method for segmenting the outer boundary of abdominal aortic aneurysms in MR images is presented. The method is based on the well known Active Shape Models (...
IGPL
2006
13 years 7 months ago
2006
Abduction or retroduction, as introduced by C.S. Peirce in the double sense of searching for explanatory instances and providing an explanation (i.e., involving the procedure of s...
AO
2011
13 years 1 months ago
2011
While the Web Ontology Language (OWL) provides a mechanism to import ontologies, this mechanism is not always suitable. First, given the current state of editing tools and the iss...
RIAO
2000
13 years 9 months ago
2000
The recent progress of Electronic Music Distribution creates a natural pressure for fine-grained musical metadata. This metadata is needed to provide music distribution services w...