3624 search results - page 510 / 725 » Abstract Algebraic Logic |
136
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- We are proposing "PPRAM-Link": a new highspeed communication standard for merged-DRAM/logic SoC architecture. PPRAM-Link standard is composed of physical/logic...
173
click to vote
ECOOPW
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...
168
click to vote
WAIM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. WWW caching necessitates advanced replacement policies that include sophisticated control logic and efficient contents management. This paper presents a constructive appr...
152
click to vote
AI
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. In this paper, we present an argumentation-based approach to dealing with inconsistency occurring in knowledge bases. We investigate several important logical properties ...
194
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...