4401 search results - page 209 / 881 » Computing with Default Logic |
146
click to vote
LPAR
2001
Springer
15 years 8 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
164
click to vote
FPGA
2000
ACM
15 years 8 months ago
2000
ACM
RAKE receivers are widely used in the wireless communications industry. Currently, custom VLSI is the most popular implementation. Programmable and reconfigurable logic implementa...
141
click to vote
IJCAI
2007
15 years 5 months ago
2007
In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, wh...
145
click to vote
CLIMA
2004
15 years 5 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
139
click to vote
VLSID
2006
IEEE
15 years 10 months ago
2006
IEEE
IEEE 754r is the ongoing revision to the IEEE 754 floating point standard and a major enhancement to the standard is the addition of decimal format. This paper proposes two novel ...