1059 search results - page 56 / 212 » Standard Logics Are Valuation-Nonmonotonic |
152
click to vote
AML
2006
15 years 6 months ago
2006
We study the formal rst order system Tind in the standard language of Gentzen's LK. Tind extends LK by the purely logical rule of term-induction, that is a restricted inductio...
147
click to vote
ENTCS
2007
15 years 6 months ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
164
click to vote
VLSID
2009
IEEE
16 years 6 months ago
2009
IEEE
Abstract-- Single-ended static random access memory (SESRAM) is well known for their tremendous potential of low active power and leakage dissipations. In this paper, we present a ...
207
click to vote
EDBT
2002
ACM
16 years 6 months ago
2002
ACM
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
134
click to vote
DDECS
2009
IEEE
16 years 27 days ago
2009
IEEE
—Self-timed full adder designs based on commercial synchronous resources (standard cells), constructed using a mix of complete delay-insensitive codes adopted for inputs are desc...