8874 search results - page 174 / 1775 » A New Implementation of Automath |
115
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Taxon sampling is a major concern in phylogenetic studies. Incomplete, biased, or improper taxon sampling can lead to misleading results in reconstructing evolutionary...
127
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Microorganisms display vast diversity, and each one has its own set of genes, cell components and metabolic reactions. To assess their huge unexploited metabolic poten...
239
Voted
CN
2007
15 years 4 months ago
2007
Eļ¬cient dynamic resource provisioning algorithms are necessary to the development and automation of Quality of Service (QoS) networks. The main goal of these algorithms is to oļ...
153
click to vote
ENTCS
2002
15 years 3 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
123
click to vote
JEA
1998
15 years 3 months ago
1998
We introduce a new deterministic parallel sorting algorithm based on the regular sampling approach. The algorithm uses only two rounds of regular all-to-all personalized communica...