MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Robust logics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

42 documents found, showing 1 through 10. Next 10 →

ATOM

Robust Logics \Lambda
by unknown authors
… Robust Logics \Lambda Leslie G. Valiant Division of Engineering and Applied Sciences Harvard…
Add To MetaCart

Recognising textual entailment with robust logical inference
by Johan Bos, Katja Markert — 2006 — MLCW 2005, volume LNAI 3944
…Recognising Textual Entailment with Robust Logical Inference Johan Bos 1 and Katja Markert 2 1…
Cited by 2 (0 self) – Add To MetaCart

A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems
by Enrico Franconi, Gabriel Kuper, Andrei Lopatenko, Luciano Serafini — 2003 — In Proc. of the VLDB International Workshop On Databases, Information Systems and Peer-to-Peer Computing (DBISP2P-2003
…A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems Enrico…
Cited by 29 (10 self) – Add To MetaCart

A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems
by Scientifica E Tecnologica, Enrico Franconi, Gabriel Kuper, Luciano Serafini, Andrei Lopatenko, Serafini L, Istituto Trentino Di Cultura, Enrico Franconi, Gabriel Kuper, Andrei Lopatenko — 2003
… Fax: +39 0461 302040 e-mail: prdoc@(email omitted); - url: http://www.itc.it A ROBUST LOGICAL AND COMPUTATIONAL…
Add To MetaCart

A Stuttering-Robust Temporal Logic with "Next" but without "Previous"
by Monica Marcus, Amir Pnueli — 1996
…A Stuttering-Robust Temporal Logic with "Next" but without "Previous" Monica Marcus and Amir…
Cited by 1 (1 self) – Add To MetaCart

On Channels between Knowledge and Objective Worlds
by Makoto Kikuchi And, Makoto Kikuchi, Yuzuru Kakuda
… and Valiant’s notion of scenes in Robust Logic and Khardon and Roth’s formulation of Learn to Reason. We shall…
Add To MetaCart

A New Programming Paradigm for Engineering Design Software
by F. A. Salustri, R. D. Venter — 1994
… conceptual model, and because it is based on a formally specified language, its robustness and logical…
Cited by 3 (3 self) – Add To MetaCart

The NanoBox Project: Exploring Fabrics of Self-Correcting Logic Blocks for High Defect Rate
by AJ KleinOsowski, David J. Lilja — 2004 — In IEEE Symposium on VLSI (ISVLSI
…, we contain and self-correct errors within the lookup table, thereby presenting a robust logic block…
Cited by 9 (2 self) – Add To MetaCart

The NanoBox: A Self-Correcting Logic Block for Emerging
by Process Technologies With, Aj Kleinosowski, Priyadarshini Ranganath, Mahesh Subramony, Vijay Rangarajan, Kevin Kleinosowski, David J. Lilja — 2003
… presenting a robust logic block to higher levels of logic design. Our results show that triplicating the SRAM…
Add To MetaCart

A Framework for Decidable Metrical Logics
by Yoram Hirshfeld, Alexander Rabinovich, Er Rabinovich — 1999 — In ICALP 99, volume 1664 of LNCS
… in the literature. We use as semantics the standard model of the positive real line and we use robust logical…
Cited by 7 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB