793 search results - page 48 / 159 » Argumentation and standards of proof |
123
click to vote
COMPGEOM
1996
ACM
15 years 5 months ago
1996
ACM
We show that in the worst case, (ndd=2e;1 +n logn) sidedness queries are required to determine whether the convex hull of n points in IRd is simplicial, or to determine the number ...
111
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
AI Planning is concerned with the selection of actions towards achieving a goal. Research on cellular automata (CA) is concerned with the question how global behaviours arise from ...
78
Voted
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we investigate a model of a combinatorial, procurement multi-attribute auction, in which each sales item is defined by several attributes called quality, the buyer...
107
click to vote
SAFECOMP
1999
Springer
15 years 5 months ago
1999
Springer
A crucial aspect of safety case management is the ongoing maintenance of the safety argument through life. Throughout the operational life of any system, the corresponding safety ...
118
click to vote
EUROCRYPT
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We introduce a notion of instance-dependent verifiable random functions (InstD-VRFs for short). Informally, an InstD-VRF is, in some sense, a verifiable random function [...