3228 search results - page 441 / 646 » Computationally Sound Proofs |
113
Voted
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
In frequent geographic pattern mining a large amount of patterns can be non-novel and non-interesting. This problem has been addressed recently, and background knowledge is used t...
131
Voted
AB
2007
Springer
15 years 9 months ago
2007
Springer
Whenever a programmer writes a loop, or a mathematician does a proof by induction, an invariant is involved. The discovery and understanding of invariants often underlies problem s...
115
Voted
ACISP
2007
Springer
15 years 9 months ago
2007
Springer
We propose the first single sign-on system in which a user can access services using unlinkable digital pseudonyms that can all be revoked in case she abuses any one service. Our ...
126
Voted
DSOM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Experiences with the management of Grid specific monitoring and accounting data have shown that current approaches do not sufficiently support a distinction between prov...
136
Voted
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...