4401 search results - page 126 / 881 » Computing with Default Logic |
154
click to vote
GLVLSI
2006
IEEE
16 years 12 days ago
2006
IEEE
Most of the logic synthesis algorithms are not scalable for large networks and, for this reason, partitioning is often applied. However traditional mincut-based partitioning techn...
188
click to vote
CONCUR
2005
Springer
15 years 12 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
177
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
181
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
This paper is about making reversible logic a reality for supercomputing. Reversible logic offers a way to exceed certain basic limits on the performance of computers, yet a power...