Sciweavers

534 search results - page 62 / 107
» Aggregated Dynamic Background Modeling
Sort
View
ECML
2006
Springer
14 years 13 days ago
Learning Process Models with Missing Data
Abstract. In this paper, we review the task of inductive process modeling, which uses domain knowledge to compose explanatory models of continuous dynamic systems. Next we discuss ...
Will Bridewell, Pat Langley, Steve Racunas, Stuart...
ICCS
2005
Springer
14 years 2 months ago
Ensemble-Based Data Assimilation for Atmospheric Chemical Transport Models
The task of providing an optimal analysis of the state of the atmosphere requires the development of dynamic data-driven systems (d3 as) that efficiently integrate the observationa...
Adrian Sandu, Emil M. Constantinescu, Wenyuan Liao...
RECOMB
2008
Springer
14 years 9 months ago
High-Resolution Modeling of Cellular Signaling Networks
A central challenge in systems biology is the reconstruction of biological networks from high-throughput data sets. A particularly difficult case of this is the inference of dynami...
Michael Baym, Chris Bakal, Norbert Perrimon, Bonni...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
14 years 1 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
VIS
2007
IEEE
60views Visualization» more  VIS 2007»
14 years 10 months ago
Navigating in a Shape Space of Registered Models
New product development involves people with different backgrounds. Designers, engineers, and consumers all have different design criteria, and these criteria interact. Early conce...
Randall C. Smith, Richard Pawlicki, István Kók...