4401 search results - page 126 / 881 » Computing with Default Logic |
112
Voted
GLVLSI
2006
IEEE
15 years 8 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...
151
Voted
CONCUR
2005
Springer
15 years 8 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...
83
Voted
FCT
2003
Springer
15 years 8 months ago
2003
Springer
131
Voted
CL
2000
Springer
15 years 7 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...
121
Voted
CF
2005
ACM
15 years 4 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...