Sciweavers

1680 search results - page 103 / 336
» Automated Model Selection for Simulation
Sort
View
DAC
2004
ACM
14 years 9 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
BMCBI
2008
111views more  BMCBI 2008»
13 years 8 months ago
GENOMEPOP: A program to simulate genomes in populations
Background: There are several situations in population biology research where simulating DNA sequences is useful. Simulation of biological populations under different evolutionary...
Antonio Carvajal-Rodríguez
ICMCS
2005
IEEE
104views Multimedia» more  ICMCS 2005»
14 years 1 months ago
Joint Inter and Intra Shot Modeling for Spectral Video Shot Clustering
This paper proposed a novel video shot clustering algorithm using spectral method by joint modeling of inter and intra shot. Gauss Mixture Model (GMM) is used for probabilistic sp...
Jianning Zhang, Lifeng Sun, Shiqiang Yang, Yuzhuo ...
WSC
2007
13 years 10 months ago
Simulation-based, ontology driven resource plan development
This paper describes the use of a planning ontology of the domain of Aircraft Maintenance, Repair and Overhaul [MRO] at a USAF depot to produce a discrete event simulation model o...
Mike Graul, Perakath C. Benjamin, Arthur Keen, Fra...
IDA
2003
Springer
14 years 1 months ago
Regularization Methods for Additive Models
This paper tackles the problem of model complexity in the context of additive models. Several methods have been proposed to estimate smoothing parameters, as well as to perform var...
Marta Avalos, Yves Grandvalet, Christophe Ambroise