Sciweavers

    7049 search results - page 7 / 1410
    » Data Abstraction for CSP-OZ
    Sort
    View
    VIS
    2006
    IEEE
    100views Visualization» more  VIS 2006»
    Visualizing Abstract Data Using Animation
    16 years 7 months ago
    Visualizing Abstract Data Using Animation
    Download  sequoia.csc.ncsu.edu
    ing Abstract Data Using Animation Amit P. Sawant Department of Computer Science, North Carolina State University Christopher G. Healey Department of Computer Science, North Carolin...
    Amit Sawant, Christopher Healey
    claim paper
    Read More »
    KDD
    2003
    ACM
    140views Data Mining» more  KDD 2003»
    Mining hepatitis data with temporal abstraction
    16 years 6 months ago
    Mining hepatitis data with temporal abstraction
    Download  www.jaist.ac.jp
    Tu Bao Ho, Trong Dung Nguyen, Saori Kawasaki, Si Q...
    claim paper
    Read More »
    DLOG
    2010
    118views Automated Reasoning» more  DLOG 2010»
    Supporting the Development of Data Wrapping Ontologies (Extended Abstract)
    15 years 3 months ago
    Supporting the Development of Data Wrapping Ontologies (Extended Abstract)
    Download  www.inf.unibz.it
    es (Extended Abstract) Lina Lubyte and Sergio Tessaris KRDB Research Centre, Free University of Bozen-Bolzano
    Lina Lubyte, Sergio Tessaris
    claim paper
    Read More »
    APAQS
    2001
    IEEE
    226views Software Engineering» more  APAQS 2001»
    Combining the Animation and Testing of Abstract Data Types
    15 years 9 months ago
    Combining the Animation and Testing of Abstract Data Types
    Download  espace.library.uq.edu.au
    Data Types Tim Miller Paul Strooper May 2001 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http://svrc.it.uq.edu.au
    Tim Miller, Paul A. Strooper
    claim paper
    Read More »
    POPL
    2010
    ACM
    188views Programming Languages» more  POPL 2010»
    Decision Procedures for Algebraic Data Types with Abstractions
    16 years 3 months ago
    Decision Procedures for Algebraic Data Types with Abstractions
    Download  lara.epfl.ch
    Philippe Suter, Mirco Dotta, Viktor Kuncak
    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.