3229 search results - page 240 / 646 » Theories with the Independence Property |
142
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we investigate the computational complexity of knot theoretic problems and show upper and lower bounds for planarity problem of signed and unsigned knot diagrams repr...
257
click to vote
LORI
2009
Springer
16 years 1 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
132
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
— Privacy, lineage, uncertainty, and security are important to many information integration efforts, and these “PLUS” properties interact in a number of complex ways. This pa...
170
click to vote
COMSWARE
2007
IEEE
16 years 28 days ago
2007
IEEE
— Recent studies on wireless sensor networks (WSN) have shown that the duration of contacts and inter-contacts are power law distributed. While this is a strong property of these...
170
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...