4401 search results - page 303 / 881 » Computing with Default Logic |
146
click to vote
ISCAS
2006
IEEE
16 years 20 days ago
2006
IEEE
— We propose a fast Modular Arithmetic Logic Unit (MALU) that is scalable in the digit size (d) and the field size (k). The datapath of MALU has chains of Carry Save Adders (CSA...
159
click to vote
ICWE
2005
Springer
16 years 2 days ago
2005
Springer
This paper investigates one of the existing methods for measuring usability – Logic Scoring Preference (LSP), and discusses the results of two formal experiments carried out to a...
162
click to vote
ATAL
2004
Springer
16 years 1 days ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
195
click to vote
EUROPAR
2004
Springer
16 years 21 hour ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
158
click to vote
ICALP
2004
Springer
16 years 14 hour ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...