2989 search results - page 343 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
158
click to vote
JBCB
2008
15 years 6 months ago
2008
Protein complexes are fundamental for understanding principles of cellular organizations. Accurate and fast protein complex prediction from the PPI networks of increasing sizes ca...
155
click to vote
APAL
2002
15 years 6 months ago
2002
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...
181
Voted
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
Understanding human emotions is one of the necessary skills for the computer to interact intelligently with human users. The most expressive way humans display emotions is through...
294
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
164
click to vote
TCBB
2010
15 years 4 months ago
2010
—The correct interpretation of many molecular biology experiments depends in an essential way on the accuracy and consistency of the existing annotation databases. Such databases...