6047 search results - page 218 / 1210 » Modeling with Extend |
103
click to vote
APIN
2006
15 years 3 months ago
2006
In the past decade, compositional modelling (CM) has established itself as the predominant knowledge-based approach to construct mathematical (simulation) models automatically. Al...
112
click to vote
JOT
2006
15 years 3 months ago
2006
UML is the standard visual object modeling language which may be very useful as a system design communication language. However, UML as a real-time modeling language has limitatio...
132
click to vote
SCL
2010
15 years 1 months ago
2010
We discuss the use of Krylov subspace methods with regard to the problem of model order reduction. The focus lies on bilinear control systems, a special class of nonlinear systems...
149
click to vote
NFM
2011
14 years 10 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
117
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
A statistical framework for modeling and prediction of binary matrices is presented. The method is applied to social network analysis, specifically the database of US Supreme Cou...