5608 search results - page 1009 / 1122 » On the Theory of Matchgate Computations |
221
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
211
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Several formal languages have been proposed to encode privacy policies, ranging from the Platform for Privacy Preferences (P3P), intended for communicating privacy policies to con...
124
click to vote
RECOMB
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. Protein motions, ranging from molecular flexibility to largescale conformational change, play an essential role in many biochemical processes. Despite the explosion in ou...
144
Voted
RECOMB
2003
Springer
16 years 1 months ago
2003
Springer
We develop an integrated probabilistic model to combine protein physical interactions, genetic interactions, highly correlated gene expression network, protein complex data, and d...
138
Voted
CADE
2005
Springer
16 years 1 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...