561 search results - page 110 / 113 » Inferring better contracts |
BMCBI
2004
13 years 7 months ago
2004
Background: Signal transduction is one of the most important biological processes by which cells convert an external signal into a response. Novel computational approaches to mapp...
BMCBI
2004
13 years 7 months ago
2004
Background: Certain protein families are highly conserved across distantly related organisms and belong to large and functionally diverse superfamilies. The patterns of conservati...
ENTCS
2000
13 years 7 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
JASIS
1998
13 years 7 months ago
1998
This article develops a theoretical framework of distributed representations to explore the representational properties in group problem solving. The basic principle of distribute...
EMNLP
2010
13 years 5 months ago
2010
In this paper, we develop multilingual supervised latent Dirichlet allocation (MLSLDA), a probabilistic generative model that allows insights gleaned from one language's data...