506 search results - page 97 / 102 » Contracts as Pairs of Projections |
126
Voted
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
126
click to vote
NIPS
1998
15 years 3 months ago
1998
We compare the ability of three exemplar-based memory models, each using three different face stimulus representations, to account for the probability a human subject responded &q...
113
click to vote
MVA
2000
15 years 3 months ago
2000
Touch screens are very convenient because one can directly point to where it is interesting. This paper presents an inexpensive technique to transform an ordinary screen into a to...
119
click to vote
BIOINFORMATICS
2010
15 years 1 months ago
2010
Motivation: The fruit fly (Drosophila melanogaster) is a commonly used model organism in biology. We are currently building a 3D digital atlas of the fruit fly larval nervous syst...
107
Voted
BMCBI
2010
15 years 1 months ago
2010
Background: In HIV treatment it is critical to have up-to-date resistance data of applicable drugs since HIV has a very high rate of mutation. These data are made available throug...