738 search results - page 109 / 148 » Formal Methods: for All or for Chosen |
ALMOB
2007
13 years 8 months ago
2007
Background: Neighbor-Net is a novel method for phylogenetic analysis that is currently being widely used in areas such as virology, bacteriology, and plant evolution. Given an inp...
RECOMB
2005
Springer
14 years 8 months ago
2005
Springer
Many important cellular response mechanisms are activated when a peptide binds to an appropriate receptor. In the immune system, the recognition of pathogen peptides begins when th...
KDD
2009
ACM
14 years 3 months ago
2009
ACM
The pervasiveness of mobile devices and location based services is leading to an increasing volume of mobility data. This side effect provides the opportunity for innovative meth...
KR
2004
Springer
14 years 1 months ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...
HIKM
2006
ACM
14 years 2 months ago
2006
ACM
The increasing complexity of clinical trials has generated an enormous requirement for knowledge and information specification at all stages of the trials, including planning, doc...