3564 search results - page 654 / 713 » Evaluating a Formal Modelling Language |
BMCBI
2006
14 years 9 months ago
2006
Background: The aim of protein design is to predict amino-acid sequences compatible with a given target structure. Traditionally envisioned as a purely thermodynamic question, thi...
109
click to vote
AAMAS
2004
Springer
14 years 9 months ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a study of a novel summarization problem called contrastive opinion summarization (COS). Given two sets of positively and negatively opinionated sentences whic...
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
SSDBM
2003
IEEE
15 years 3 months ago
2003
IEEE
Life science researchers frequently need to query large protein data sets in a variety of different ways. Protein data sets have a rich structure that includes its primary structu...