2348 search results - page 171 / 470 » A Fuzzy Description Logic |
153
click to vote
FUZZY
2004
Springer
15 years 11 months ago
2004
Springer
A feedforward neural network based on multi-valued neurons is considered in the paper. It is shown that using a traditional feedforward architecture and a high functionality multi-...
164
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...
164
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
140
click to vote
ARTMED
2005
15 years 6 months ago
2005
Codons refer to those parts in a DNA complex encoded towards forming a desired set of proteins. Also coexist in the DNA are noncodons (or "junk" codons) whose functions ...
176
click to vote
DBA
2006
15 years 7 months ago
2006
This paper presents an approach to produce generalization candidates for a concept hierarchy without the necessity of being an expert in the domain to be generalized and ...