Sciweavers

2829 search results - page 259 / 566
» Regularization Methods for Additive Models
Sort
View
CAV
2000
Springer
187views Hardware» more  CAV 2000»
15 years 10 months ago
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
Poul Frederick Williams, Armin Biere, Edmund M. Cl...
FGCS
2006
74views more  FGCS 2006»
15 years 6 months ago
A performance model of non-deterministic particle transport on large-scale systems
In this work we present a predictive analytical model that encompasses the performance and scaling characteristics of a nondeterministic particle transport application, MCNP (Mont...
Mark M. Mathis, Darren J. Kerbyson, Adolfy Hoisie
ASPLOS
2010
ACM
15 years 11 months ago
An asymmetric distributed shared memory model for heterogeneous parallel systems
Heterogeneous computing combines general purpose CPUs with accelerators to efficiently execute both sequential control-intensive and data-parallel phases of applications. Existin...
Isaac Gelado, Javier Cabezas, Nacho Navarro, John ...
ICIP
2001
IEEE
16 years 8 months ago
A unified memory based approach to cut, dissolve, key frame and scene analysis
We review a memory-based buffer model of visual perception, that combines the lower and middle stages in the analysis of video. This model was originally developed for the detecti...
Aya Aner, John R. Kender
CVPR
2010
IEEE
16 years 2 months ago
Multilinear Pose and Body Shape Estimation of Dressed Subjects from Image Sets
In this paper we propose a multilinear model of human pose and body shape which is estimated from a database of registered 3D body scans in different poses. The model is generated...
Nils Hasler, Hanno Ackermann, Bodo Rosenhahn, Thor...