1128 search results - page 79 / 226 » Classical Natural Deduction |
108
click to vote
JUCS
2002
15 years 13 days ago
2002
: In a database with categorical attributes, each attribute defines a partition whose classes can be regarded as natural clusters of rows. In this paper we focus on finding a parti...
104
Voted
MVA
2007
15 years 8 days ago
2007
The application of a technique for labelling connected components based on the classical recursive technique is studied. The recursive approach permits labelling, counting, and cha...
106
Voted
PAAPP
2007
15 years 8 days ago
2007
The quantum model of computation not only o ers entirely new ways to manipulate information, but also allows information processing tasks to be formulated in unconventional, genui...
119
Voted
AI
2008
Springer
14 years 11 months ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
115
click to vote
MICCAI
2010
Springer
14 years 11 months ago
2010
Springer
The paper proposes a new shape morphometry approach to combine advanced classification techniques with geometric features in order to identify morphological abnormalities on brain...