8874 search results - page 129 / 1775 » A New Implementation of Automath |
130
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
A reduction is a computation in which a common operation, such as a sum, is to be performed across multiple pieces of data, each supplied by a separate task. We introduce phaser a...
133
Voted
MM
2004
ACM
15 years 9 months ago
2004
ACM
We introduce a novel approach to the creation of Virtual Reality Art installations, which supports the design of alternative worlds, in which laws of Physics can be redefined to i...
133
Voted
ICCCI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The Semantic Web promises increased precision in automated information sorting, searching, organizing and summarizing. Realizing this requires significantly more reliabl...
121
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Reliable prediction of antibody, or B-cell, epitopes remains challenging yet highly desirable for the design of vaccines and immunodiagnostics. A correlation between a...
122
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: The main aim of this study was to develop and implement an algorithm for the rapid, accurate and automated identification of paths leading from buried protein clefts, ...