1302 search results - page 133 / 261 » Free-Style Theorem Proving |
120
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We know that tilesets that can tile the plane always admit a quasiperiodic tiling [4, 8], yet they hold many uncomputable properties [3, 11, 21, 25]. The quasi-periodicit...
116
click to vote
EOR
2002
15 years 4 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...
128
click to vote
CC
1998
Springer
15 years 4 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...
115
click to vote
INTEGRATION
2002
15 years 4 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...
149
click to vote
NGC
1998
Springer
15 years 4 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...