965 search results - page 40 / 193 » Predictions as Statements and Decisions |
ISCA
2005
IEEE
15 years 5 months ago
2005
IEEE
Improved branch prediction accuracy is essential to sustaining instruction throughput with today’s deep pipelines. We introduce piecewise linear branch prediction, an idealized ...
105
click to vote
DAC
2004
ACM
16 years 24 days ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
104
click to vote
ISIPTA
2005
IEEE
15 years 5 months ago
2005
IEEE
The paper presents an efficient solution to decision problems where direct partial information on the distribution of the states of nature is available, either by observations of ...
FLAIRS
2004
15 years 1 months ago
2004
Artificial Neural Networks (ANNs) have proved both a popular and powerful technique for pattern recognition tasks in a number of problem domains. However, the adoption of ANNs in ...
INTERACT
2003
15 years 1 months ago
2003
: The HCI community has long been accused of delivering ‘common sense’, ‘useless’ information, and to be ignorant of business needs. HCI experts are also criticized for fai...