Sciweavers

2302 search results - page 304 / 461
» Modeling Intergovernmental Collaboration: A System Dynamics ...
Sort
View
97
Voted
GECCO
2003
Springer
100views Optimization» more  GECCO 2003»
15 years 9 months ago
Dense and Switched Modular Primitives for Bond Graph Model Design
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...
Kisung Seo, Zhun Fan, Jianjun Hu, Erik D. Goodman,...
111
Voted
ECML
2006
Springer
15 years 8 months 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...
BMCBI
2010
233views more  BMCBI 2010»
15 years 4 months ago
Odefy -- From discrete to continuous models
Background: Phenomenological information about regulatory interactions is frequently available and can be readily converted to Boolean models. Fully quantitative models, on the ot...
Jan Krumsiek, Sebastian Pölsterl, Dominik M. ...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 9 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...
ICIP
2007
IEEE
15 years 11 months ago
Group Activity Recognition Based on ARMA Shape Sequence Modeling
In this paper, we propose a system identification approach for group activity recognition in traffic surveillance. Statistical shape theory is used to extract features, and then...
Ying Wang, Kaiqi Huang, Tieniu Tan