Search Sciweavers | Sciweavers

7049 search results - page 7 / 1410

» Data Abstraction for CSP-OZ

click to vote

VIS
2006
IEEE

100views Visualization» more VIS 2006»

Visualizing Abstract Data Using Animation

14 years 8 months ago

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 »

click to vote

KDD
2003
ACM

140views Data Mining» more KDD 2003»

Mining hepatitis data with temporal abstraction

14 years 7 months ago

Download www.jaist.ac.jp

Tu Bao Ho, Trong Dung Nguyen, Saori Kawasaki, Si Q...

claim paper

Read More »

click to vote

DLOG
2010

118views Automated Reasoning» more DLOG 2010»

Supporting the Development of Data Wrapping Ontologies (Extended Abstract)

13 years 5 months ago

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 »

click to vote

APAQS
2001
IEEE

226views Software Engineering» more APAQS 2001»

Combining the Animation and Testing of Abstract Data Types

13 years 11 months ago

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 »

click to vote

POPL
2010
ACM

188views Programming Languages» more POPL 2010»

Decision Procedures for Algebraic Data Types with Abstractions

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers