551 search results - page 51 / 111 » Realizability of Real-Time Logics |
152
click to vote
MJ
2008
15 years 5 months ago
2008
Abstract - The basic building blocks for Resonant Tunnelling Diode (RTD) logic circuits are Threshold Gates (TGs) instead of the conventional Boolean gates (AND, OR, NAND, NOR) due...
134
click to vote
ICCAD
2008
IEEE
16 years 2 months ago
2008
IEEE
— In an incompletely specified function f, don’t care values can be chosen to minimize the number of variables to represent f. It is shown that, in incompletely specified fun...
148
click to vote
HICSS
2002
IEEE
2002
IEEE
Development of a Decision Logic to Support Group Improvisation: An Application to Emergency Response
15 years 10 months ago
This paper reviews recent progress in the development of a computer-based system for supporting improvised group decision making in risky, time-constrained situations. One goal of...
183
click to vote
FOIKS
2006
Springer
15 years 9 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
183
click to vote
ISMVL
2008
IEEE
16 years 8 days ago
2008
IEEE
Compact realizations of reversible logic functions are of interest in the design of quantum computers. In this paper we present an exact synthesis algorithm, based on Boolean Sati...