7991 search results - page 346 / 1599 » Using More Reasoning to Improve |
153
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
229
click to vote
WMPI
2004
ACM
16 years 6 days ago
2004
ACM
Abstract. The large and growing impact of memory hierarchies on overall system performance compels designers to investigate innovative techniques to improve memory-system efficienc...
198
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Researchers interested in analysing the expression patterns of functionally related genes usually hope to improve the accuracy of their results beyond the boundaries o...
286
click to vote
ICDE
2002
IEEE
16 years 8 months ago
2002
IEEE
XML documents are extremely verbose since the "schema" is repeated for every "record" in the document. While a variety of compressors are available to address ...
178
Voted
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
A massive rise in the number and expenditure of pathology ordering by general practitioners (GPs) concerns the government and attracts various studies with the aim to understand a...