Sciweavers

2962 search results - page 76 / 593
» Optimizing Spatial Data Structures For Static Data
Sort
View
CORR
2011
Springer
173views Education» more  CORR 2011»
13 years 4 months ago
Psi-calculi: a framework for mobile processes with nominal data and logic
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...
ENTCS
2008
138views more  ENTCS 2008»
13 years 9 months ago
Compositionality of Statically Scheduled IP
Timing Closure in presence of long global wire interconnects is one of the main current issues in System-onChip design. One proposed solution to the Timing Closure problem is Late...
Julien Boucaron, Jean-Vivien Millo
KDD
2012
ACM
194views Data Mining» more  KDD 2012»
11 years 11 months ago
A sparsity-inducing formulation for evolutionary co-clustering
Traditional co-clustering methods identify block structures from static data matrices. However, the data matrices in many applications are dynamic; that is, they evolve smoothly o...
Shuiwang Ji, Wenlu Zhang, Jun Liu
VLDB
1995
ACM
91views Database» more  VLDB 1995»
14 years 16 days ago
A Data Transformation System for Biological Data Sources
Scientific data of importance to biologists in the Humitn Genome Project resides not only in conventional da.tabases, but in structured files maintained in a number of different f...
Peter Buneman, Susan B. Davidson, Kyle Hart, G. Ch...
MIAR
2006
IEEE
14 years 3 months ago
Cerebral Vascular Tree Matching of 3D-RA Data Based on Tree Edit Distance
Abstract. In this paper, we present a novel approach to matching cerebral vascular trees obtained from 3D-RA data-sets based on minimization of tree edit distance. Our approach is ...
Tommy W. H. Tang, Albert C. S. Chung