4555 search results - page 501 / 911 » Deductive Algorithmic Knowledge |
122
click to vote
MKM
2007
Springer
15 years 11 months ago
2007
Springer
Formal concept analysis (FCA) comprises a set of powerful algorithms which can be used for data analysis and manipulation, and a set of visualisation tools which enable the discove...
203
click to vote
RR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This essay describes fuzzy CARIN, a knowledge representation language combining fuzzy description logics with Horn rules. Fuzzy CARIN integrates the management of fuzzy l...
158
click to vote
CBMS
2006
IEEE
15 years 11 months ago
2006
IEEE
More and more ontologies are emerging across bioinformatics domains to represent and define domain knowledge, such as gene ontology, anatomy ontology and disease ontology. To inte...
153
Voted
CRV
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
132
Voted
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Carry Save Adder (CSA) trees are commonly used for high speed implementation of multi-operand additions. We present a method to reduce the number of the adders in CSA trees by ext...