8874 search results - page 394 / 1775 » A New Implementation of Automath |
230
click to vote
PCI
2005
Springer
16 years 1 months 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...
184
click to vote
PPAM
2005
Springer
16 years 1 months 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...
184
click to vote
WABI
2005
Springer
16 years 1 months 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...
195
click to vote
WEBI
2005
Springer
16 years 1 months 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 ...
171
click to vote
SIGOPSE
2004
ACM
16 years 1 months 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...