Sciweavers

2624 search results - page 160 / 525
» The 2LIP model and its implementations
Sort
View
MICRO
2008
IEEE
137views Hardware» more  MICRO 2008»
15 years 7 months ago
Verification of chip multiprocessor memory systems using a relaxed scoreboard
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
Ofer Shacham, Megan Wachs, Alex Solomatnikov, Amin...
186
Voted
CVPR
2008
IEEE
16 years 9 months ago
The Logistic Random Field - A convenient graphical model for learning parameters for MRF-based labeling
Graphical models are fundamental tools for modeling images and other applications. In this paper, we propose the Logistic Random Field (LRF) model for representing a discrete-valu...
Marshall F. Tappen, Kegan G. G. Samuel, Craig V. D...
209
Voted
BMCBI
2006
115views more  BMCBI 2006»
15 years 7 months ago
Multivariate curve resolution of time course microarray data
Background: Modeling of gene expression data from time course experiments often involves the use of linear models such as those obtained from principal component analysis (PCA), i...
Peter D. Wentzell, Tobias K. Karakach, Sushmita Ro...
208
Voted
IJON
1998
158views more  IJON 1998»
15 years 6 months ago
Bayesian Kullback Ying-Yang dependence reduction theory
Bayesian Kullback Ying—Yang dependence reduction system and theory is presented. Via stochastic approximation, implementable algorithms and criteria are given for parameter lear...
Lei Xu
204
Voted
BMCBI
2005
158views more  BMCBI 2005»
15 years 7 months ago
Automated generation of heuristics for biological sequence comparison
Background: Exhaustive methods of sequence alignment are accurate but slow, whereas heuristic approaches run quickly, but their complexity makes them more difficult to implement. ...
Guy St. C. Slater, Ewan Birney