525 search results - page 85 / 105 » Using Checkable Types in Automatic Protocol Analysis |
BMCBI
2005
13 years 7 months ago
2005
Background: Synthetic lethality experiments identify pairs of genes with complementary function. More direct functional associations (for example greater probability of membership...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
In this paper, we introduce the concept of witness anonymity for peer-to-peer systems. Witness anonymity combines the seemingly conflicting requirements of anonymity (for honest p...
ICMI
2009
Springer
14 years 2 months ago
2009
Springer
Human nonverbal behavior recognition from multiple cues and modalities has attracted a lot of interest in recent years. Despite the interest, many research questions, including th...
BMCBI
2007
13 years 7 months ago
2007
Background: By virtue of their shared ancestry, homologous sequences are similar in their structure and function. Consequently, multiple sequence alignments are routinely used to ...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— There is much to gain from providing walking machines with passive dynamics, e.g. by including compliant elements in the structure. These elements can offer interesting propert...