16257 search results - page 2949 / 3252 » D-finiteness: algorithms and applications |
279
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Path profiles provide a more accurate characterization of a program's dynamic behavior than basic block or edge profiles, but are relatively more expensive to collect. This h...
205
click to vote
RECOMB
2006
Springer
16 years 7 months ago
2006
Springer
Computational and comparative analysis of protein-protein interaction (PPI) networks enable understanding of the modular organization of the cell through identification of functio...
183
click to vote
RECOMB
2002
Springer
16 years 7 months ago
2002
Springer
A recent idea for determining the three-dimensional structure of a protein uses antibody recognition of surface structure and random peptide libraries to map antibody epitope comb...
213
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
155
click to vote
STOC
2007
ACM
16 years 7 months ago
2007
ACM
A zero-knowledge proof allows a prover to convince a verifier of an assertion without revealing any further information beyond the fact that the assertion is true. Secure multipar...