653 search results - page 93 / 131 » Enhancing Commitment Machines |
102
click to vote
PC
1998
14 years 11 months ago
1998
The difficulty of handling out-of-core data limits the performance of supercomputers as well as the potential of the parallel machines. Since writing an efficient out-of-core ve...
IJBRA
2010
14 years 10 months ago
2010
: In recent years, the number of ontologies shared on the Web has increased dramatically, supporting a growing set of applications such as biological knowledge sharing, enhanced se...
CHI
2011
ACM
14 years 3 months ago
2011
ACM
Emerging robotic technologies are enabling the control of individual seats on rollercoasters and other thrill rides. We explore the potential of breathing as an effective and enga...
176
click to vote
POPL
2002
ACM
16 years 2 days ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
113
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: BLAST is one of the most common and useful tools for Genetic Research. This paper describes a software application we have termed Windows .NET Distributed Basic Local ...