7213 search results - page 324 / 1443 » Automated model grouping |
174
click to vote
LPNMR
2009
Springer
16 years 1 months ago
2009
Springer
We apply ASP to model validation in a CASE setting, where models are UML class diagrams and object diagrams are called “snapshots”. We present the design and implementation of ...
146
click to vote
FDL
2005
IEEE
16 years 11 days ago
2005
IEEE
A concept of linearly graded statistical models for analogue performance evaluation is proposed and a suitable technique for automatic generation of analogue performance models us...
144
click to vote
ICSM
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper describes an approach and support tool for the modelling and analysis of proposed reconfigurations to complex systems. The configuration models used are quick to constr...
171
click to vote
TPHOL
2003
IEEE
16 years 23 hour ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
181
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Differential co-expression analysis is an emerging strategy for characterizing disease related dysregulation of gene expression regulatory networks. Given pre-defined ...