596 search results - page 65 / 120 » Software Self-Healing Using Collaborative Application Commun... |
TPHOL
1996
IEEE
15 years 4 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
113
click to vote
IPPS
2009
IEEE
15 years 6 months ago
2009
IEEE
—High-end machines at modern HPC centers are constantly undergoing hardware and system software upgrades – necessitating frequent rebuilds of application codes. The number of p...
DATESO
2010
14 years 10 months ago
2010
Abstract. The high dimensionality of the data generated by social networks has been a big challenge for researchers. In order to solve the problems associated with this phenomenon,...
125
click to vote
WWW
2011
ACM
14 years 6 months ago
2011
ACM
The multimedia information retrieval community has dedicated extensive research effort to the problem of content-based image retrieval (CBIR). However, these systems find their ma...
104
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: New "next generation" DNA sequencing technologies offer individual researchers the ability to rapidly generate large amounts of genome sequence data at drama...