Sciweavers

1804 search results - page 120 / 361
» On set systems with a threshold property
Sort
View
ENTCS
2002
112views more  ENTCS 2002»
15 years 6 months ago
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
Ivan Scagnetto, Marino Miculan
ESORICS
2002
Springer
16 years 6 months ago
Confidentiality-Preserving Refinement is Compositional - Sometimes
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
Thomas Santen, Maritta Heisel, Andreas Pfitzmann
ICTAI
2008
IEEE
16 years 1 months ago
LRNPlanner: Planning Personalized and Contextualized E-Learning Routes
The aim of educational systems is to design a sequence of learning objects on a set of topics tailored to the learner’s goals and individual properties. However, some of the mai...
Eva Onaindia, Antonio Garrido, Oscar Sapena
ISCIS
2004
Springer
16 years 15 hour ago
Social Network of Co-occurrence in News Articles
Abstract. Networks describe various complex natural systems including social systems. Recent studies have shown that these networks share some common properties. While studying com...
Arzucan Özgür, Haluk Bingöl
TRS
2008
15 years 6 months ago
Generalized Indiscernibility Relations: Applications for Missing Values and Analysis of Structural Objects
In this paper, we discuss an approach to structural objects based on a generalisation of indiscernibility relation used in rough set theory. The existing results in rough set theor...
Wojciech Jaworski