4266 search results - page 609 / 854 » A Framework for Defining Logics |
156
click to vote
KR
1998
Springer
15 years 11 months ago
1998
Springer
The technical problem addressed in this paper is, given two rule systems for consequence relations X and Y, how to construct Y-approximations of a given X-relation. While an upper...
162
click to vote
ICIP
1994
IEEE
15 years 10 months ago
1994
IEEE
We develop a general theory of spatially-variant (SV) mathematical morphology for binary images in the Euclidean space. The basic SV morphological operators (that is, SV erosion, S...
239
Voted
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
PrincipalDomain is an administrative scoping construct for establishing security policies based on the principals invoking object services that may entail objects moving around a ...
188
Voted
ACMSE
2009
ACM
15 years 10 months ago
2009
ACM
The convergence of various multimedia communications that includes voice, video and data presents many opportunities for enabling unified communication but paradoxically leads to ...
177
click to vote
AOSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...