8486 search results - page 154 / 1698 » Ordered Enumeration Method |
95
Voted
BMCBI
2010
15 years 26 days ago
2010
Background: Protein-protein interactions play a key role in biological processes of proteins within a cell. Recent high-throughput techniques have generated protein-protein intera...
122
click to vote
ICTAC
2009
Springer
14 years 10 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
88
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
In contrast with the current Web search methods that essentially do document-level ranking and retrieval, we are exploring a new paradigm to enable Web search at the object level....
102
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
113
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...