Sciweavers

2680 search results - page 237 / 536
» The topology of the independence complex
Sort
View
CAV
2008
Springer
96views Hardware» more  CAV 2008»
15 years 3 months ago
Implied Set Closure and Its Application to Memory Consistency Verification
Hangal et. al. [3] have developed a procedure to check if an instance of the execution of a shared memory multiprocessor program, is consistent with the Total Store Order (TSO) mem...
Surender Baswana, Shashank K. Mehta, Vishal Powar
NIPS
2008
15 years 3 months ago
A mixture model for the evolution of gene expression in non-homogeneous datasets
We address the challenge of assessing conservation of gene expression in complex, non-homogeneous datasets. Recent studies have demonstrated the success of probabilistic models in...
Gerald Quon, Yee Whye Teh, Esther Chan, Timothy R....
137
Voted
TNN
2008
182views more  TNN 2008»
15 years 1 months ago
Large-Scale Maximum Margin Discriminant Analysis Using Core Vector Machines
Abstract--Large-margin methods, such as support vector machines (SVMs), have been very successful in classification problems. Recently, maximum margin discriminant analysis (MMDA) ...
Ivor Wai-Hung Tsang, András Kocsor, James T...
CHI
2006
ACM
16 years 2 months ago
An evaluation of pan & zoom and rubber sheet navigation with and without an overview
We present a study that evaluates conventional Pan and Zoom Navigation and Rubber Sheet Navigation, a rectilinear Focus+Context technique. Each of the two navigation techniques wa...
Dmitry Nekrasovski, Adam Bodnar, Joanna McGrenere,...
GLOBECOM
2007
IEEE
15 years 7 months ago
Path Diversity in Packet Switched Networks: Performance Analysis and Rate Allocation
—Path diversity works by setting up multiple parallel connections between the end points using the topological path redundancy of the network. In this paper, Forward Error Correc...
Shervan Fashandi, Shahab Oveis Gharan, Amir K. Kha...