3446 search results - page 451 / 690 » A Reasoning Algorithm for pD* |
137
click to vote
PLDI
2006
ACM
15 years 12 months ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...
135
click to vote
SAC
2006
ACM
15 years 12 months ago
2006
ACM
Many embedded systems are designed to take timely reactions to the occurrences of interested scenarios. Sometimes transient overloads might be experienced due to hardware malfunct...
136
click to vote
SIGIR
2006
ACM
15 years 12 months ago
2006
ACM
Despite its intuitive appeal, the hypothesis that retrieval at the level of “concepts” should outperform purely term-based approaches remains unverified empirically. In addit...
154
click to vote
ACSC
2005
IEEE
15 years 11 months ago
2005
IEEE
Stemming words to (usually) remove suffixes has applications in text search, machine translation, document summarisation, and text classification. For example, English stemming r...
123
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes an improved approach to Boolean network optimization using internal don’t-cares. The improvements concern the type of don’t-cares computed, their scope, a...