4401 search results - page 126 / 881 » Computing with Default Logic |
GLVLSI
2006
IEEE
14 years 3 months 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...
CONCUR
2005
Springer
14 years 2 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...
FCT
2003
Springer
14 years 2 months ago
2003
Springer
CL
2000
Springer
14 years 1 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...
CF
2005
ACM
13 years 11 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...