1585 search results - page 287 / 317 » A framework for computer-aided validation |
211
click to vote
POPL
2009
ACM
16 years 14 days ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
101
click to vote
RECOMB
2006
Springer
16 years 4 days 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...
124
click to vote
RECOMB
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Protein fold recognition is an important step towards understanding protein three-dimensional structures and their functions. A conditional graphical model, i.e. segmenta...
111
click to vote
CADE
2005
Springer
16 years 4 days 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...
189
click to vote
SIGMOD
2006
ACM
15 years 12 months ago
2006
ACM
Given a dataset P and a preference function f, a top-k query retrieves the k tuples in P with the highest scores according to f. Even though the problem is well-studied in convent...