392 search results - page 19 / 79 » Negation as Partial Failure |
SRDS
2010
IEEE
13 years 5 months ago
2010
IEEE
We introduce the notion of a swift algorithm. Informally, an algorithm that solves the repeated consensus is swift if, in a partial synchronous run of this algorithm, eventually no...
JAIR
2008
13 years 7 months ago
2008
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
1 Query-by-example information retrieval provides users a flexible but efficient way to accurately describe their information needs. The query exemplars are usually long and in th...
BSL
1999
13 years 7 months ago
1999
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...
ISQED
2009
IEEE
14 years 2 months ago
2009
IEEE
—As device feature size continues to shrink, reliability becomes a severe issue due to process variation, particle-induced transient errors, and transistor wear-out/stress such a...