Sciweavers

210 search results - page 3 / 42
» Hob: A Tool for Verifying Data Structure Consistency
Sort
View
KDD
2005
ACM
160views Data Mining» more  KDD 2005»
16 years 3 days ago
Consistent bipartite graph co-partitioning for star-structured high-order heterogeneous data co-clustering
Heterogeneous data co-clustering has attracted more and more attention in recent years due to its high impact on various applications. While the co-clustering algorithms for two t...
Bin Gao, Tie-Yan Liu, Xin Zheng, QianSheng Cheng, ...
96
Voted
CAV
2010
Springer
154views Hardware» more  CAV 2010»
15 years 3 months ago
Verifying Low-Level Implementations of High-Level Datatypes
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
Christopher L. Conway, Clark Barrett
PODS
2004
ACM
120views Database» more  PODS 2004»
15 years 12 months ago
Locally Consistent Transformations and Query Answering in Data Exchange
Data exchange is the problem of taking data structured under a source schema and creating an instance of a target schema. Given a source instance, there may be many solutions ? ta...
Marcelo Arenas, Pablo Barceló, Ronald Fagin...
IJCAT
2010
93views more  IJCAT 2010»
14 years 10 months ago
FAETON: Form Analysis and Extraction Tool for ONtology construction
Abstract: This paper presents a method for semi-automatically building tailored application ontologies from a set of data acquisition forms. Such ontologies are intended to facilit...
Rafael Berlanga Llavori, Ernesto Jiménez-Ru...
IPPS
1998
IEEE
15 years 4 months ago
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
Ruben Gamboa