1410 search results - page 245 / 282 » Proving theorems by reuse |
EOR
2002
13 years 9 months ago
2002
Selection and negotiation of purchasing bids is a complex decision making process that requires consideration of a variety of vendor attributes such as price, delivery performance...
CC
1998
Springer
13 years 9 months ago
1998
Springer
We introduce the natural class SP 2 containing those languages which may be expressed in terms of two symmetric quanti ers. This class lies between P 2 and P 2 P 2 and naturall...
INTEGRATION
2002
13 years 9 months ago
2002
Booth Recoding is a commonly used technique to recode one of the operands in binary multiplication. In this way the implementation of a multipliers' adder tree can be improve...
NGC
1998
Springer
13 years 9 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
TIT
2002
13 years 9 months ago
2002
An overview of statistical and information-theoretic aspects of hidden Markov processes (HMPs) is presented. An HMP is a discrete-time finite-state homogeneous Markov chain observe...