1074 search results - page 71 / 215 » Rule sets based bilevel decision model |
169
click to vote
CADE
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...
154
click to vote
DIAL
2006
IEEE
15 years 10 months ago
2006
IEEE
Statistical classification methods can be applied on images of historical manuscript in order to characterize the various kinds of inks used. As these methods do not require destr...
205
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Team decision making under stress involving multiple contexts is an extremely challenging issue faced by various real world application domains. This research is targeted at coupl...
185
click to vote
GIS
1992
ACM
15 years 10 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
135
click to vote
MVA
2007
15 years 7 months ago
2007
Automated Visual Inspection (AVI) is an essential part in the manufacturing process of Integrated Circuit (IC) packages. Contamination a common defect type found in IC packages ap...