1835 search results - page 98 / 367 » Classifying Description Logics |
118
Voted
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
156
Voted
FSKD
2006
Springer
15 years 7 months ago
2006
Springer
Nearest neighbor classifier is a widely-used effective method for multi-class problems. However, it suffers from the problem of the curse of dimensionality in high dimensional spac...
132
Voted
AI
2002
Springer
15 years 3 months ago
2002
Springer
Most classification algorithms are "passive", in that they assign a class label to each instance based only on the description given, even if that description is incompl...
174
Voted
ESANN
1997
15 years 5 months ago
1997
Two recently developed methods for extraction of crisp logical rules from neural networks trained with backpropagation algorithm are compared. Both methods impose constraints on th...
148
Voted
OWLED
2008
15 years 5 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...