Sciweavers

2609 search results - page 445 / 522
» Models for Global Constraint Applications
Sort
View
ATVA
2006
Springer
162views Hardware» more  ATVA 2006»
15 years 3 months ago
Predicate Abstraction of Programs with Non-linear Computation
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...
Songtao Xia, Ben Di Vito, César Muño...
BMCBI
2006
115views more  BMCBI 2006»
14 years 12 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...
IJHPCA
2010
117views more  IJHPCA 2010»
14 years 10 months ago
Fine-Grained Multithreading Support for Hybrid Threaded MPI Programming
As high-end computing systems continue to grow in scale, recent advances in multiand many-core architectures have pushed such growth toward more denser architectures, that is, mor...
Pavan Balaji, Darius Buntinas, David Goodell, Will...
CVPR
2001
IEEE
16 years 1 months ago
Texture Replacement in Real Images
Texture replacement in real images has many applications, such as interior design, digital movie making and computer graphics. The goal is to replace some specified texture patter...
Yanghai Tsin, Yanxi Liu, Visvanathan Ramesh
ICCV
2005
IEEE
16 years 1 months ago
Fusion of Multi-View Silhouette Cues Using a Space Occupancy Grid
In this paper, we investigate what can be inferred from several silhouette probability maps, in multi-camera environments. To this aim, we propose a new framework for multi-view s...
Jean-Sébastien Franco, Edmond Boyer