4192 search results - page 655 / 839 » Probabilistic Logic Programming |
117
click to vote
CAP
2010
14 years 10 months ago
2010
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
150
Voted
COMMA
2010
14 years 10 months ago
2010
In this paper we define a recursive semantics for warrant in a general defeasible argumentation framework by formalizing a notion of collective (non-binary) conflict among argumen...
133
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...
153
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...
157
click to vote
SCP
2010
14 years 10 months ago
2010
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...