Sciweavers

    2776 search results - page 19 / 556
    » System-Level Abstraction Semantics
    Sort
    View
    64
    Voted
    DAGSTUHL
    2008
    89views Software Engineering» more  DAGSTUHL 2008»
    08061 Abstracts Collection -- Types, Logics and Semantics for State
    15 years 4 months ago
    08061 Abstracts Collection -- Types, Logics and Semantics for State
    Download  drops.dagstuhl.de
    Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...
    claim paper
    Read More »
    85
    Voted
    ICWS
    2004
    IEEE
    70views Internet Technology» more  ICWS 2004»
    Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes
    15 years 4 months ago
    Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes
    Download  www.cs.wayne.edu
    Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis,...
    claim paper
    Read More »
    86
    Voted
    ISTA
    2004
    79views Information Technology» more  ISTA 2004»
    A Novel Multimedia Data Model Supporting Temporal Semantic Abstraction
    15 years 4 months ago
    A Novel Multimedia Data Model Supporting Temporal Semantic Abstraction
    Download  subs.emis.de
    Yan Jianfeng, Zhanhuai Li
    claim paper
    Read More »
    64
    Voted
    COLING
    1992
    90views Computational Linguistics» more  COLING 1992»
    An Abstraction Method Using a Semantic Engine Based on Language Information Structure
    15 years 3 months ago
    An Abstraction Method Using a Semantic Engine Based on Language Information Structure
    Download  acl.ldc.upenn.edu
    Hirohito Inagaki, Tohru Nakagawa
    claim paper
    Read More »
    51
    Voted
    COLING
    1990
    61views Computational Linguistics» more  COLING 1990»
    Semantic Abstraction and Anaphora
    15 years 3 months ago
    Semantic Abstraction and Anaphora
    Download  acl.ldc.upenn.edu
    Mark Johnson, Martin Kay
    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.