439 search results - page 27 / 88 » Tabling for transaction logic |
139
click to vote
FPL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Hybrid Hall effect (HHE) devices are a new class of reconfigurable logic devices that incorporate ferromagnetic elements to deliver nonvolatile operation. A single HHE de...
154
click to vote
IANDC
2000
15 years 6 months ago
2000
Abstract. We present a uniform algorithm for transforming machine-found matrix proofs in classical, constructive, and modal logics into sequent proofs. It is based on unified repre...
209
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Reversible logic has applications in many fields, including quantum computing. Synthesis techniques for reversible circuits are not well developed, even for functions with a small...
139
click to vote
ICLP
2007
Springer
16 years 9 days ago
2007
Springer
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
137
click to vote
SIGMOD
2005
ACM
15 years 11 months ago
2005
ACM
There is a class of data, including messages and business workflow state, for which conventional monolithic databases are less than ideal. Performance and scalability of Applicati...