Sciweavers

1005 search results - page 83 / 201
» Temporal Structures
Sort
View
DKE
2006
157views more  DKE 2006»
14 years 10 months ago
XML structural delta mining: Issues and challenges
Recently, there is an increasing research efforts in XML data mining. These research efforts largely assumed that XML documents are static. However, in reality, the documents are ...
Qiankun Zhao, Ling Chen 0002, Sourav S. Bhowmick, ...
CAV
2001
Springer
80views Hardware» more  CAV 2001»
15 years 1 months ago
Transformation-Based Verification Using Generalized Retiming
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
Andreas Kuehlmann, Jason Baumgartner
98
Voted
ICCV
1998
IEEE
15 years 2 months ago
3D Photography on Your Desk
A simple and inexpensive approach for extracting the threedimensional shape of objects is presented. It is based on `weak structured lighting'; it di ers from other conventio...
Jean-Yves Bouguet, Pietro Perona
KDD
2012
ACM
194views Data Mining» more  KDD 2012»
13 years 17 days 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
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
14 years 8 months ago
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...