780 search results - page 67 / 156 » Reasoning about sets using redescription mining |
138
click to vote
IJCSA
2007
15 years 5 months ago
2007
In this paper, we propose a new quantitative trust model for argumentation-based negotiating agents. The purpose of such a model is to provide a secure environment for agent negot...
157
click to vote
TPHOL
2009
IEEE
16 years 2 days ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
176
click to vote
HPCC
2007
Springer
15 years 9 months ago
2007
Springer
In wireless sensor networks with many-to-one transmission mode, a multi-objective TDMA (Time Division Multiple Access) scheduling model is presented, which concerns about the packe...
203
click to vote
FORTE
2009
15 years 3 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
163
click to vote
CORR
2012
Springer
14 years 1 months ago
2012
Springer
We propose a novel mechanism for answering sets of counting queries under differential privacy. Given a workload of counting queries, the mechanism automatically selects a differ...