8874 search results - page 129 / 1775 » A New Implementation of Automath |
161
click to vote
IPPS
2009
IEEE
16 years 1 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...
173
click to vote
MM
2004
ACM
15 years 12 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...
173
click to vote
ICCCI
2009
Springer
16 years 1 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...
147
click to vote
BMCBI
2008
15 years 6 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...
156
click to vote
BMCBI
2006
15 years 6 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, ...