Sciweavers

    316 search results - page 12 / 64
    » Subtyping Union Types
    Sort
    View
    CSR
    2006
    Springer
    68views Theoretical Computer Science» more  CSR 2006»
    Polarized Subtyping for Sized Types
    15 years 9 months ago
    Polarized Subtyping for Sized Types
    Download  www2.tcs.ifi.lmu.de
    Andreas Abel
    claim paper
    Read More »
    FSTTCS
    2000
    Springer
    63views Software Engineering» more  FSTTCS 2000»
    Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
    15 years 9 months ago
    Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
    Download  hal.archives-ouvertes.fr
    Jan-Georg Smaus, François Fages, Pierre Der...
    claim paper
    Read More »
    ANLP
    2000
    139views more  ANLP 2000»
    A Hybrid Approach for Named Entity and Sub-Type Tagging
    15 years 7 months ago
    A Hybrid Approach for Named Entity and Sub-Type Tagging
    Download  acl.ldc.upenn.edu
    This paper presents a hybrid approach for named entity (NE) tagging which combines Maximum Entropy Model (MaxEnt), Hidden Markov Model (HMM) and handcrafted grammatical rules. Eac...
    Rohini K. Srihari
    claim paper
    Read More »
    JOT
    2002
    48views more  JOT 2002»
    The Theory of Classification, Part 4: Object Types and Subtyping
    15 years 5 months ago
    The Theory of Classification, Part 4: Object Types and Subtyping
    Download  www.jot.fm
    Anthony J. H. Simons
    claim paper
    Read More »
    ESOP
    2009
    Springer
    155views Programming Languages» more  ESOP 2009»
    Global Principal Typing in Partially Commutative Asynchronous Sessions
    16 years 20 days ago
    Global Principal Typing in Partially Commutative Asynchronous Sessions
    Download  www.doc.ic.ac.uk
    We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
    Dimitris Mostrous, Nobuko Yoshida, Kohei Honda
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.