8555 search results - page 1568 / 1711 » Property Based Coordination |
171
click to vote
CAV
2000
Springer
15 years 9 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
190
click to vote
EUROCRYPT
2000
Springer
15 years 9 months ago
2000
Springer
We show that verifiable secret sharing (VSS) and secure multi-party computation (MPC) among a set of n players can efficiently be based on any linear secret sharing scheme (LSSS) f...
243
Voted
MICCAI
2000
Springer
15 years 9 months ago
2000
Springer
We present a novel approach to statistical shape analysis of anatomical structures based on small sample size learning techniques. The high complexity of shape models used in medic...
206
click to vote
TABLEAUX
2000
Springer
15 years 9 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
180
click to vote
SCA
2007
15 years 8 months ago
2007
We describe a method for animating incompressible liquids with detailed free surfaces. For each time step, semiLagrangian contouring computes a new fluid boundary (represented as ...