Sciweavers

    4209 search results - page 23 / 842
    » Abstract Dialectical Frameworks
    Sort
    View
    ICWS
    2009
    IEEE
    86views Internet Technology» more  ICWS 2009»
    An Extensible Abstract Service Orchestration Framework
    15 years 3 months ago
    An Extensible Abstract Service Orchestration Framework
    Download  www-adele.imag.fr
    Stéphanie Chollet, Philippe Lalanda
    claim paper
    Read More »
    CORR
    2010
    Springer
    61views Education» more  CORR 2010»
    The Conceptual Integration Modeling Framework: Abstracting from the Multidimensional Model
    15 years 26 days ago
    The Conceptual Integration Modeling Framework: Abstracting from the Multidimensional Model
    Download  www.cs.toronto.edu
    Flavio Rizzolo, Iluju Kiringa, Rachel Pottinger, K...
    claim paper
    Read More »
    ACL
    2011
    136views Computational Linguistics» more  ACL 2011»
    Towards a Framework for Abstractive Summarization of Multimodal Documents
    14 years 9 months ago
    Towards a Framework for Abstractive Summarization of Multimodal Documents
    Download  www.aclweb.org
    Charles Greenbacker
    claim paper
    Read More »
    ATAL
    2011
    Springer
    174views Intelligent Agents» more  ATAL 2011»
    An abstract framework for reasoning about trust
    14 years 5 months ago
    An abstract framework for reasoning about trust
    Download  www.ifaamas.org
    Elisabetta Erriquez, Wiebe van der Hoek, Michael W...
    claim paper
    Read More »
    TPHOL
    1999
    IEEE
    126views Automated Reasoning» more  TPHOL 1999»
    Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
    15 years 10 months ago
    Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
    Download  verify.stanford.edu
    Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
    Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger
    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.