10916 search results - page 1902 / 2184 » On Constructive Connectives and Systems |
171
click to vote
3DIM
2003
IEEE
15 years 12 months ago
2003
IEEE
Cuneiform is the world’s oldest known writing system. Ancient scribes impressed reed styluses onto damp clay to write the approximately 900 different logographic, syllabic and t...
161
click to vote
ACSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Understanding the nature of the information flowing into and out of a system or network is fundamental to determining if there is adherence to a usage policy. Traditional methods...
165
click to vote
ARITH
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we investigate the implementation of basic arithmetic functions, such as addition and multiplication, in Single Electron Tunneling (SET) technology. First, we descri...
205
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we propose an algorithm to construct the Ordered Binary Decision Diagram (OBDD) representing the cut function of a terminal-pair network. The algorithm recognizes i...
181
Voted
COOPIS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper discusses some of the implications of introducing the dynamic object role concept into object-oriented metamodels on both implementational and conceptual modeling levels...