3628 search results - page 210 / 726 » The Decision Diffie-Hellman Problem |
141
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
129
click to vote
SMC
2007
IEEE
15 years 10 months ago
2007
IEEE
— The field of robotics is on a growth curve, with most of the growth expected in the areas of personal and service robots. As robots become more prevalent in chaotic home and in...
128
Voted
IPTPS
2004
Springer
15 years 9 months ago
2004
Springer
In the hope of stimulating discussion, we present a heuristic decision tree that designers can use to judge how suitable a P2P solution might be for a particular problem. It is bas...
146
click to vote
SAT
2004
Springer
15 years 9 months ago
2004
Springer
We present a novel expansion based decision procedure for quantified boolean formulas (QBF) in conjunctive normal form (CNF). The basic idea is to resolve existentially quantifie...
119
click to vote
TOOLS
1997
IEEE
15 years 8 months ago
1997
IEEE
: This paper presents pattern histories for deriving two different callback libraries. The pattern histories document the important design decisions behind each library. The two re...