Sciweavers

720 search results - page 48 / 144
» Linear k-arboricities on trees
Sort
View
ASPDAC
2004
ACM
92views Hardware» more  ASPDAC 2004»
14 years 2 months ago
Modeling of coplanar waveguide for buffered clock tree
—Owing to inductive effect, coplanar waveguide (CPW) is widely used to achieve signal integrity in high performance clock designs. In this paper, we first propose a piece-wise l...
Jun Chen, Lei He
AAAI
2008
13 years 11 months ago
Latent Tree Models and Approximate Inference in Bayesian Networks
We propose a novel method for approximate inference in Bayesian networks (BNs). The idea is to sample data from a BN, learn a latent tree model (LTM) from the data offline, and wh...
Yi Wang, Nevin Lianwen Zhang, Tao Chen
DMIN
2006
143views Data Mining» more  DMIN 2006»
13 years 10 months ago
Reverse Tree Clustering
Common document clustering algorithms utilize models that either divide a corpus into smaller clusters or gather individual documents into clusters. Hierarchical Agglomerative Clus...
Casey Bartman, Jamal R. Alsabbagh
IJCAI
1989
13 years 9 months ago
Managing Efficiently Temporal Relations Through Indexed Spanning Trees
We are interested here in the design of a very efficient Time-Map Manager, able to deal with a large knowledge-base of several thou­ sand time-tokens in demanding applications su...
Malik Ghallab, A. Mounir Alaoui
CAV
2004
Springer
152views Hardware» more  CAV 2004»
14 years 2 months ago
Abstract Regular Model Checking
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, Tom´aˇs Voj...
Ahmed Bouajjani, Peter Habermehl, Tomás Voj...