8874 search results - page 394 / 1775 » A New Implementation of Automath |
212
click to vote
PCI
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. It has been recently demonstrated that the classical EM algorithm for learning Gaussian mixture models can be successfully implemented in a decentralized manner by resort...
164
Voted
PPAM
2005
Springer
16 years 10 days ago
2005
Springer
We propose a new framework, named Simple Interface for Library Collections (SILC), that gives users access to matrix computation libraries in a flexible and environment-independen...
169
click to vote
WABI
2005
Springer
16 years 10 days ago
2005
Springer
Phylogenetic tree searching algorithms often produce thousands of trees which biologists save in Newick format in order to perform further analysis. Unfortunately, Newick is neithe...
172
Voted
WEBI
2005
Springer
16 years 10 days ago
2005
Springer
Web services have emerged as a new paradigm that supports loosely-coupled distributed systems in service discovery and service execution. Next generation web services will evolve ...
159
Voted
SIGOPSE
2004
ACM
16 years 9 days ago
2004
ACM
Implementing an extension of a legacy operating system requires knowing what functionalities the extension should provide and how the extension should be integrated with the legac...