4850 search results - page 609 / 970 » Proof and Computation in Geometry |
160
click to vote
ACISP
2007
Springer
16 years 1 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 ...
190
click to vote
DSOM
2007
Springer
16 years 1 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...
182
click to vote
FOSSACS
2007
Springer
16 years 1 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...
169
click to vote
ICA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Renyi’s entropy-based criterion has been proposed as an objective function for independent component analysis because of its relationship with Shannon’s entropy and i...
166
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...