Sciweavers

1414 search results - page 99 / 283
» Combining Intruder Theories
Sort
View
SIBGRAPI
2007
IEEE
14 years 4 months ago
Two-stage Binary Image Operator Design: an Approach Based on Interaction Information
We address the problem of binary image operator design over large windows by breaking it into two phases. Firstly, we design several operators over small sub-windows of the main w...
Carlos S. Santos, Nina S. T. Hirata, Roberto Hirat...
BIRTHDAY
2005
Springer
14 years 3 months ago
Fibring Logics: Past, Present and Future
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
Carlos Caleiro, Amílcar Sernadas, Cristina ...
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