Sciweavers

31 search results - page 6 / 7
» Constructing Ramsey Graphs from Boolean Function Representat...
Sort
View
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
16 years 6 days ago
Symbolic pointer analysis
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
Jianwen Zhu
BMCBI
2008
201views more  BMCBI 2008»
15 years 3 months ago
A copula method for modeling directional dependence of genes
Background: Genes interact with each other as basic building blocks of life, forming a complicated network. The relationship between groups of genes with different functions can b...
Jong-Min Kim, Yoon-Sung Jung, Engin A. Sungur, Kap...
SIGLEX
1991
15 years 6 months ago
Logical Structures in the Lexicon
The lexical entry for a word must contain all the information needed to construct a semantic representation for sentences that contain the word. Because of that requirement, the f...
John F. Sowa
155
Voted
CORR
2010
Springer
209views Education» more  CORR 2010»
15 years 16 hour ago
Generalized Tree-Based Wavelet Transform
In this paper we propose a new wavelet transform applicable to functions defined on graphs, high dimensional data and networks. The proposed method generalizes the Haar-like transf...
Idan Ram, Michael Elad, Israel Cohen
MICCAI
2007
Springer
16 years 4 months ago
Prior Knowledge Driven Multiscale Segmentation of Brain MRI
We present a novel automatic multiscale algorithm applied to segmentation of anatomical structures in brain MRI. The algorithm which is derived from algebraic multigrid, uses a gra...
Ayelet Akselrod-Ballin, Meirav Galun, Moshe John G...