• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 753
Next 10 →

BI as an Assertion Language for Mutable Data Structures

by Samin Ishtiaq, Peter W. O'Hearn , 2000
"... Reynolds has developed a logic for reasoning about mutable data structures in which the pre- and postconditions are written in an intuitionistic logic enriched with a spatial form of conjunction. We investigate the approach from the point of view of the logic BI of bunched implications of O'Hea ..."
Abstract - Cited by 191 (14 self) - Add to MetaCart
Reynolds has developed a logic for reasoning about mutable data structures in which the pre- and postconditions are written in an intuitionistic logic enriched with a spatial form of conjunction. We investigate the approach from the point of view of the logic BI of bunched implications of O

Anaphora for everyone: Pronominal anaphora resolution without a parser

by Christopher Kennedy - In Proceedings of COLING-96 (16th International Conference on Computational Linguistics , 1996
"... We present an algorithm for anaphora resolution which is a modified and extended version of that developed by (Lappin and Leass, 1994). In contrast to that work, our algorithm does not require in-depth, full, syntactic parsing of text. Instead, with minimal compromise in output quality, the modifica ..."
Abstract - Cited by 164 (11 self) - Add to MetaCart
We present an algorithm for anaphora resolution which is a modified and extended version of that developed by (Lappin and Leass, 1994). In contrast to that work, our algorithm does not require in-depth, full, syntactic parsing of text. Instead, with minimal compromise in output quality

Programme Name (and Enriching Digital Resources

by Contact Daniel Leech-wilkinson, Prof Daniel Leech-wilkinson, Programme Manager, Ben Showers , 2010
"... Version: 1 ..."
Abstract - Add to MetaCart
Version: 1

Identifying Enrichment Candidates in Textbooks

by Rakesh Agrawal, Sreenivas Gollapudi, Anitha Kannan, Krishnaram Kenthapadi
"... Many textbooks written in emerging countries lack clear and adequate coverage of important concepts. We propose a technological solution for algorithmically identifying those sections of a book that are not well written and could benefit from better exposition. We provide a decision model based on t ..."
Abstract - Cited by 8 (5 self) - Add to MetaCart
on the syntactic complexity of writing and the dispersion of key concepts. The model parameters are learned using a tune set which is algorithmically generated using a versioned authoritative web resource as a proxy. We evaluate the proposed methodology over a corpus of Indian textbooks which demonstrates its

Global Laser Enrichment

by Julie Olivier, Brian Smith Chief, Uranium Enrichment Branch, Julie Olivier, Tim Johnson (nrc, Tammy Orr (gle, Lori Butler (geh, Jerry Head (geh, Patricia Campbell (geh, Bob Crate (gle, Ken Givens (gle, Tom Owens (gle , 2010
"... PUBLIC VERSION GE-Hitachi Global Laser Enrichment LLC (GLE) hereby submits revision 2 of the GLE License Application. Enclosure 1 contains revised Request for Additional Information responses. Enclosure 2 contains revised chapters 1, 2, 3, 5, 7, and 11 of the GLE License Application. Enclosure 3 con ..."
Abstract - Add to MetaCart
PUBLIC VERSION GE-Hitachi Global Laser Enrichment LLC (GLE) hereby submits revision 2 of the GLE License Application. Enclosure 1 contains revised Request for Additional Information responses. Enclosure 2 contains revised chapters 1, 2, 3, 5, 7, and 11 of the GLE License Application. Enclosure 3

This version was compiled on May 14, 2004 The

by Harold Simmons
"... coverage technique for enriched posets ..."
Abstract - Add to MetaCart
coverage technique for enriched posets

To cite this version:

by Flavien Boussuge, Ahmad Shahwan, Stefanie Hahmann, Gilles Foucault, Lionel Fine, Flavien Boussuge, Ahmad Shahwan, Stefanie Hahmann, Gilles Foucault, Hal Id Hal, Lionel Fine , 2014
"... al.. Template-based geometric transformations of a functionally enriched DMU into FE assem- ..."
Abstract - Add to MetaCart
al.. Template-based geometric transformations of a functionally enriched DMU into FE assem-

Methods for Phosphopeptide Isolation/Enrichment

by Methods For Phosphopeptide Isolation/enrichment, Chee Sian Gan, Tiannan Guo, Huoming Zhang, Sai Kiang Lim, Siu Kwan Sze , 2008
"... Additional resources and features associated with this article are available within the HTML version: • Supporting Information • Access to high resolution figures • Links to articles and content related to this article • Copyright permission to reproduce figures and/or text from this article ..."
Abstract - Add to MetaCart
Additional resources and features associated with this article are available within the HTML version: • Supporting Information • Access to high resolution figures • Links to articles and content related to this article • Copyright permission to reproduce figures and/or text from this article

Solving Recursive Domain Equations with Enriched Categories

by Kim Ritter Wagner, Stephen Brookes, John C. Reynolds , 1994
"... Both pre-orders and metric spaces have been used at various times as a foundation for the solution of recursive domain equations in the area of denotational semantics. In both cases the central theorem states that a `converging' sequence of `complete' domains/spaces with `continuous' ..."
Abstract - Cited by 28 (0 self) - Add to MetaCart
' retraction pairs between them has a limit in the category of complete domains/spaces with retraction pairs as morphisms. The pre-order version was discovered first by Scott in 1969, and is referred to as Scott's inverse limit theorem. The metric version was mainly developed by de Bakker and Zucker

VERTICALLY ITERATED CLASSICAL ENRICHMENT

by Stefan Forcey
"... ABSTRACT. Lyubashenko has described enriched 2-categories as categories enriched over V-Cat, the 2-category of categories enriched over a symmetric monoidal V. This construction is the strict analogue for V-functors in V-Cat of Brian Day’s probicategories for V-modules in V-Mod. Here I generalize th ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
the strict version to enriched n-categories for k-fold monoidal V. The latter is defined as by Balteanu, Fiedorowicz, Schwänzl and Vogt but with the addition of making visible the coherent associators αi. The symmetric case can easily be recovered. This paper proposes a recursive definition of V
Next 10 →
Results 1 - 10 of 753
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University