1104 search results - page 181 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
CI
2000
13 years 8 months ago
2000
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...
KDD
2005
ACM
14 years 2 months ago
2005
ACM
Data clustering represents an important tool in exploratory data analysis. The lack of objective criteria render model selection as well as the identification of robust solutions...
WSC
2004
13 years 10 months ago
2004
Using simulated data to develop and study diagnostic tools for data analysis is very beneficial. The user can gain insight about what happens when assumptions are violated since t...
WABI
2010
Springer
13 years 7 months ago
2010
Springer
Quantification of selective pressures on regulatory sequences is a central question in studying the evolution of gene regulatory networks. Previous methods focus primarily on sing...
SIGSOFT
2001
ACM
14 years 9 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...