8874 search results - page 147 / 1775 » A New Implementation of Automath |
174
click to vote
IWEC
2004
15 years 8 months ago
2004
We describe a new approach to the behaviour of 3D environments that supports the definition of physical processes and interactive phenomena. The work takes as a starting point the ...
179
click to vote
NAR
2008
15 years 6 months ago
2008
Panzea (http://www.panzea.org), the public web site of the project `Molecular and Functional Diversity in the Maize Genome', has expanded over the past two years in data cont...
176
click to vote
SIGIR
2002
ACM
15 years 6 months ago
2002
ACM
We describe a new family of topic-ranking algorithms for multi-labeled documents. The motivation for the algorithms stems from recent advances in online learning algorithms. The a...
179
click to vote
PAM
2010
Springer
16 years 1 months ago
2010
Springer
Since December 2008, the official BitTorrent client is using a new congestion-control protocol for data transfer, implemented at the application layer and built over UDP at the tr...
184
click to vote
BMEI
2008
IEEE
16 years 1 months ago
2008
IEEE
Multiple sequence alignment is the most fundamental task in bioinformatics and computational biology. In this paper, we present a new algorithm to conduct multiple sequences align...