MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Abstracts and Fragments." – sorted by Relevance.

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

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

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

ATOM

Fragmented Objects for Distributed Abstractions
by Mesaac Makpangou, Yvon Gourhant, Jean-pierre Le Narzul — 1992 — Readings in Distributed Computing Systems
…Fragmented Objects for Distributed Abstractions Mesaac Makpangou Yvon Gourhant Jean-Pierre Le…
Cited by 62 (3 self) – Add To MetaCart

Refining Abstractions of Hybrid Systems Using Counterexample Fragments
by Ansgar Fehnker, Edmund Clarke, Sumit Jha, Bruce Krogh — In Hybrid Systems: Computation and Control (HSCC’05), volume 3414 of Lect. Notes Comput. Sci
…Refining Abstractions of Hybrid Systems Using Counterexample Fragments Ansgar Fehnker, Edmund…
Cited by 2 (1 self) – Add To MetaCart

BOAR: A Library of Fragmented Object Types for Distributed Abstractions
by Mesaac Makpangou, Yvon Gourhant, Marc Shapiro — 1991 — In Proceedings of the 1991 International Workshop on Object Orientation in Operating Systems
…BOAR: A Library of Fragmented Object Types for Distributed Abstractions Mesaac Makpangou Yvon…
Cited by 10 (3 self) – Add To MetaCart

Relating Categorial Type Logics and CCG through simulation
by Geert-Jan M. Kruijff — 2000
… The primary focus of this paper is to establish an abstract fragment in \multimodal logical grammar…
Add To MetaCart

A Program Logic for Resource Verification
by David Aspinall, Lennart Beringer, Martin Hofmann, Hans-wolfgang Loidl, Alberto Momigliano — 2004 — In Proceedings of the 17th International Conference on Theorem Proving in Higher-Order Logics, (TPHOLs 2004), volume 3223 of LNCS
…, an abstract fragment of the Java Virtual Machine Language. Serving as the target logic of a certifying…
Cited by 17 (10 self) – Add To MetaCart

Minimal Deductive Systems for RDF
by Sergio Muñoz, Jorge Pérez, Claudio Gutierrez — 2007 — In ESWC
… two directions: (a) To have a simple abstract fragment of RDF easy to formalize and to reason about…
Cited by 9 (1 self) – Add To MetaCart

Machine Learning, 21(1/2):125-150, 1995
by Machine Discovery Of, Darrell Conklin, J. Shavlik, L. Hunter, D. Searls — 1990 — Machine Learning
… of this investigation. These patterns, known as protein motifs, are abstractions of fragments drawn from proteins…
Add To MetaCart

Indigo: User-level Support for Building Distributed Shared Abstractions
by Prince Kohli, Mustaque Ahamad, Karsten Schwan — 1995 — In Fourth IEEE International Symposium on High-Performance Distributed Computing (HPDC-4
… abstractions implemented with Indigo include DSM and a variety of DSM protocols as well as fragmented objects…
Cited by 11 (5 self) – Add To MetaCart

Adaptive web information systems: Architecture and methodology for resuing content
by Sébastien Iksal, Serge Garlatti — 2004 — In Proccedings of the 1st International Workshop on Engineering the Adaptive Web (EAW 2004
… and cannot be decomposed; Abstract fragments are composed of other fragments (atomic or abstract) and one…
Cited by 2 (0 self) – Add To MetaCart

Representational/Efficiency Issues in Toxicological Knowledge Discovery
by Bernhard Pfahringer, Eva Gottmann, Stefan Kramer — 1999 — In Predictive Toxicology of Chemicals: Experiences and Impact of AI Tools. Menlo Park, CA
… ala CASE usually explores connected fragments up to a size of around 10 atoms. The acyclic abstract…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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