Sciweavers

1802 search results - page 148 / 361
» Model-based Theory Combination
Sort
View
FOSSACS
2005
Springer
14 years 3 months ago
Third-Order Idealized Algol with Iteration Is Decidable
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
Andrzej S. Murawski, Igor Walukiewicz
ISMIS
2005
Springer
14 years 3 months ago
Modelling Good Entry Pages on the Web
Being a good entry page to a Web site reflects how well the page enables a user to obtain optimal access, by browsing, to relevant and quality pages within the site. Our aim is to...
Theodora Tsikrika, Mounia Lalmas
RSCTC
2004
Springer
157views Fuzzy Logic» more  RSCTC 2004»
14 years 3 months ago
Rough Approximations under Level Fuzzy Sets
The combination of fuzzy set and rough set theories lead to various models. Functional and set approaches are two categories based on different fuzzy representations. In this pape...
W.-N. Liu, Jingtao Yao, Yiyu Yao
RSCTC
2004
Springer
237views Fuzzy Logic» more  RSCTC 2004»
14 years 3 months ago
An Automated Multi-spectral MRI Segmentation Algorithm Using Approximate Reducts
Abstract. We introduce an automated multi-spectral MRI segmentation technique based on approximate reducts derived from the data mining paradigm of the theory of rough sets. We uti...
Sebastian Widz, Kenneth Revett, Dominik Slezak
ICDAR
2003
IEEE
14 years 2 months ago
A Multiclass Classification Method Based on Multiple Pairwise Classifiers
In this paper, a new method of composing a multiclass classifier using pairwise classifiers is proposed. A “Resemblance Model” is exploited to calculate a posteriori probabili...
Tomoyuki Hamamura, Hiroyuki Mizutani, Bunpei Irie