3134 search results - page 127 / 627 » Computing full disjunctions |
112
Voted
TGC
2007
Springer
15 years 8 months ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
112
Voted
CF
2007
ACM
15 years 6 months ago
2007
ACM
This paper presents the Collapsed Bennett Layout, a general purpose floorplan for reversible quantum-dot cellular automata (QCA) circuits. In order to exploit the full density and...
125
Voted
SDM
2007
SIAM
15 years 4 months ago
2007
SIAM
The secure multi-party computation (SMC) model provides means for balancing the use and confidentiality of distributed data. Increasing security concerns have led to a surge in w...
103
click to vote
BMVC
1997
15 years 4 months ago
1997
We present a multi-level probabilistic relaxation scheme appropriate for image segmentation on the basis of features computed at various resolution levels. At each level, we incor...
144
click to vote
COMPUTER
2007
15 years 2 months ago
2007
Workflows have recently emerged as a paradigm for representing and managing complex distributed scientific computations and therefore accelerate the pace of scientific progress. A...