4359 search results - page 441 / 872 » Automated Pipeline Design |
192
click to vote
PLILP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
166
click to vote
TARK
1998
Springer
15 years 11 months ago
1998
Springer
Belief revision theory aims to describe how one should change one's beliefs when they are contradicted by newly input information. The guiding principle of belief revision th...
173
click to vote
TPHOL
1996
IEEE
15 years 11 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
202
click to vote
CCL
1994
Springer
15 years 11 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
172
click to vote
SIGGRAPH
1993
ACM
15 years 11 months ago
1993
ACM
We describe two instances in which precise mechanical calibration of virtual environments equipment has been replaced by automated algorithmic calibration through software that en...