Sciweavers

1422 search results - page 44 / 285
» Complementation in Abstract Interpretation
Sort
View
117
Voted
AAAI
2004
15 years 4 months ago
Logic Programs with Abstract Constraint Atoms
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
Victor W. Marek, Miroslaw Truszczynski
121
Voted
INEX
2005
Springer
15 years 8 months ago
The Interpretation of CAS
Abstract. There has been much debate over how to interpret the structure in queries that contain structural hints. At INEX 2003 and 2004, there were two interpretations: SCAS in wh...
Andrew Trotman, Mounia Lalmas
99
Voted
AUSAI
2003
Springer
15 years 7 months ago
Towards Automated Creation of Image Interpretation Systems
Abstract. Automated image interpretation is an important task in numerous applications ranging from security systems to natural resource inventorization based on remote-sensing. Re...
Ilya Levner, Vadim Bulitko, Lihong Li, Greg Lee, R...
101
Voted
EUSFLAT
2009
141views Fuzzy Logic» more  EUSFLAT 2009»
15 years 12 days ago
An Experimental Study on the Interpretability of Fuzzy Systems
Abstract-- Interpretability is one of the most significant properties of Fuzzy Systems which are widely acknowledged as gray boxes against other Soft Computing techniques such as N...
José M. Alonso, Luis Magdalena
143
Voted
EUSFLAT
2009
135views Fuzzy Logic» more  EUSFLAT 2009»
15 years 12 days ago
A Logic-Based Approach for Evaluating Interpretability of Fuzzy Rule-Based Classifiers
Abstract-- We describe an automatic approach for evaluating interpretability of fuzzy rule-based classifiers. The approach is based on the logical view of fuzzy rules, which are in...
Corrado Mencar, Ciro Castiello, Anna Maria Fanelli