Sciweavers

2556 search results - page 162 / 512
» The Triconnected Abstraction of Process Models
Sort
View
KBSE
2003
IEEE
16 years 9 days ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
Peter Bunus, Peter Fritzson
ACIIDS
2010
IEEE
171views Database» more  ACIIDS 2010»
15 years 9 months ago
Evolving Concurrent Petri Net Models of Epistasis
Abstract. A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational mode...
Michael Mayo, Lorenzo Beretta
TIP
2008
116views more  TIP 2008»
15 years 7 months ago
Automatic Active Model Initialization via Poisson Inverse Gradient
Abstract--Active models have been widely used in image processing applications. A crucial stage that affects the ultimate active model performance is initialization. This paper pro...
Bing Li, Scott T. Acton
IPMI
2005
Springer
16 years 7 months ago
Bayesian Population Modeling of Effective Connectivity
Abstract. A hierarchical model based on the Multivariate Autoregessive (MAR) process is proposed to jointly model neurological time-series collected from multiple subjects, and to ...
Eric R. Cosman Jr., William M. Wells III
CDC
2008
IEEE
113views Control Systems» more  CDC 2008»
16 years 1 months ago
Model reduction for a class of input-quantized systems in the max-plus algebra
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ï¬...
Whitney Weyerman, Sean Warnick