1941 search results - page 128 / 389 » On the Hardness of Approximate Reasoning |
182
Voted
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
171
Voted
ICEIS
2005
IEEE
16 years 1 months ago
2005
IEEE
Electrical and mechanical equipment such as gearboxes in an industrial robot or electronic circuits in an industrial printer sometimes fail to operate as intended. The faulty compo...
233
Voted
HICSS
2003
IEEE
16 years 22 days ago
2003
IEEE
Moving around our physical environment, we are surrounded and interact with information that exhorts and stimulates us to buy things. For most of us, not all of these impulses are...
182
Voted
TPHOL
2002
IEEE
16 years 10 days ago
2002
IEEE
In this paper we introduce a new approach to axiomatizing quotient types in type theory. We suggest replacing the existing monolithic rule set by a modular set of rules for a speci...
215
click to vote
CCL
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. We compare two prominent decision procedures for propositional logic: Ordered Binary Decision Diagrams (obdds) and the DavisPutnam procedure. Experimental results indicat...