2940 search results - page 203 / 588 » Relational Parametricity and Control |
238
click to vote
IDEAS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we introduce a probabilistic relational data model as the basis for developing multi-agent probabilistic reasoning systems. Since our model subsumes the traditional...
167
click to vote
ESWA
2008
15 years 6 months ago
2008
Most of existing ontologies construction tools support construction of ontological relations (e.g. taxonomy, equivalence, etc.) but they do not support construction of domain rela...
299
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
147
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper we use partially ordered sets (posets) to study decentralized control problems arising in different settings. We show that time delayed systems with certain dela...
168
click to vote
ICDM
2007
IEEE
16 years 27 days ago
2007
IEEE
Data security is a critical issue for many organizations. Sensitive data must be protected from both inside and outside attackers. Access control policies and related mechanisms h...