14331 search results - page 2539 / 2867 » On the modeling and analysis of obligations |
196
click to vote
CTRSA
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We consider a statistical database in which a trusted administrator introduces noise to the query responses with the goal of maintaining privacy of individual database en...
195
click to vote
ECSQARU
2005
Springer
16 years 1 months ago
2005
Springer
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical e...
214
Voted
ESA
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Modern computer graphics systems are able to render sophisticated 3D scenes consisting of millions of polygons. For most camera positions only a small collection of these...
204
click to vote
EUROPKI
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Transformations of signed documents raise questions of technical and organisational nature which render the legal security of the transformed document doubtful. In partic...
204
click to vote
FC
2005
Springer
16 years 1 months ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...