1047 search results - page 110 / 210 » Searching Without a Heuristic: Efficient Use of Abstraction |
JUCS
2007
13 years 7 months ago
2007
Abstract: The technology in the field of digital media generates huge amounts of textual information every day, so mechanisms to retrieve relevant information are needed. Under th...
ISLPED
1999
ACM
14 years 8 days ago
1999
ACM
-- The goal of a dynamic power management policy is to reduce the power consumption of an electronic system by putting system components into different states, each representing ce...
AAAI
1994
13 years 9 months ago
1994
This article shows how rational analysis can be used to minimize learning cost for a general class of statistical learning problems. We discuss the factors that influence learning...
AI
2000
Springer
13 years 7 months ago
2000
Springer
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w.r....
BMCBI
2008
13 years 8 months ago
2008
Background: Synthesis of data from published human genetic association studies is a critical step in the translation of human genome discoveries into health applications. Although...