1205 search results - page 146 / 241 » Conservativity in Structured Ontologies |
182
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
It is well-known that knowledgebases may contain inconsistencies. We provide a framework of measures, based on a first-order four-valued logic, to quantify the inconsistency of a ...
178
click to vote
SERA
2010
Springer
15 years 4 months ago
2010
Springer
The importance of software measurement during the software development process is generally accepted, nowadays. Unfortunately, in practice common software measurement tools find s...
156
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
We describe a new face detection algorithm based on a hierarchy of support vector classifiers (SVMs) designed for efficient computation. The hierarchy serves as a platform for a c...
149
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Average 3D digital atlas construction from a set of images is an important task for registration and assessment of intraand inter-population differences in structural and function...
151
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...