Sciweavers

537 search results - page 8 / 108
» Accountability and automation bias
Sort
View
DAC
2004
ACM
14 years 8 months ago
Design optimizations for microprocessors at low temperature
We investigate trade-offs in microprocessor frequency and system power achievable for low temperature operation in scaled high leakage technologies by combining refrigeration with...
Arman Vassighi, Ali Keshavarzi, Siva Narendra, Ger...
CADE
2006
Springer
14 years 7 months ago
A Logical Characterization of Forward and Backward Chaining in the Inverse Method
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...
Kaustuv Chaudhuri, Frank Pfenning, Greg Price
ILP
2007
Springer
14 years 1 months ago
Mode-Directed Inverse Entailment for Full Clausal Theories
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...
Oliver Ray, Katsumi Inoue
EACL
2006
ACL Anthology
13 years 9 months ago
A Figure of Merit for the Evaluation of Web-Corpus Randomness
In this paper, we present an automated, quantitative, knowledge-poor method to evaluate the randomness of a collection of documents (corpus), with respect to a number of biased pa...
Massimiliano Ciaramita, Marco Baroni
BMCBI
2006
123views more  BMCBI 2006»
13 years 7 months ago
An Automated Method for Rapid Identification of Putative Gene Family Members in Plants
Background: Gene duplication events have played a significant role in genome evolution, particularly in plants. Exhaustive searches for all members of a known gene family as well ...
Ronald L. Frank, Ajay Mane, Fikret Erçal