2407 search results - page 389 / 482 » A Tool for Abstraction in Model Checking |
199
Voted
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
The Hierarchical Hidden Markov Model (HHMM) is a well formalized tool suitable to model complex patterns in long temporal or spatial sequences. Even if effective algorithms are ava...
155
click to vote
WSC
2007
15 years 8 months ago
2007
Often the process and effort in building interoperable Command and Control (C2) systems and simulations can be arduous. Invariably the difficulty is in understanding what is inten...
179
Voted
DAWAK
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Data warehouses (DW) main objective is to facilitating decisionmaking. Thus their development has to take into account DW project actor requirements. While much recent re...
126
click to vote
AEI
2010
15 years 6 months ago
2010
Abstract-- Computational modellers are becoming increasingly interested in building large, eclectic, biological models. These may integrate nervous system components at various lev...
153
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...