614 search results - page 58 / 123 » The Power of Methods With Parallel Semantics |
BMCBI
2008
13 years 9 months ago
2008
Background: R is the preferred tool for statistical analysis of many bioinformaticians due in part to the increasing number of freely available analytical methods. Such methods ca...
EACL
2006
ACL Anthology
13 years 10 months ago
2006
ACL Anthology
We propose a method for compiling bilingual terminologies of multi-word terms (MWTs) for given translation pairs of seed terms. Traditional methods for bilingual terminology compi...
ENTCS
2010
13 years 9 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
CONCUR
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Bayesian phylogenetic inference is an important alternative to maximum likelihood-based phylogenetic method. However, inferring large trees using the Bayesian approach is computat...