1901 search results - page 84 / 381 » Predicting Program Properties from |
BMCBI
2008
14 years 11 months ago
2008
Background: Mass spectrometry is a key technique in proteomics and can be used to analyze complex samples quickly. One key problem with the mass spectrometric analysis of peptides...
BMCBI
2006
14 years 11 months ago
2006
Background: Due to the functional importance of intrinsically disordered proteins or protein regions, prediction of intrinsic protein disorder from amino acid sequence has become ...
ECAI
1998
Springer
15 years 3 months ago
1998
Springer
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which...
VMCAI
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
MICCAI
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. A system for interactive, 3–D, craniofacial surgery simulation is presented. It is used for the 3–D simulation of osteotomies of the facial and skull bones and for th...