2916 search results - page 455 / 584 » Generating Rule Sets from Model Trees |
125
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In the present article, we introduce a new method for identification of metabolic pathways in constraint based models that consider enzyme and substrate concentrations. It genera...
136
click to vote
ISPW
2005
IEEE
15 years 10 months ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
134
click to vote
ALT
2010
Springer
15 years 6 months ago
2010
Springer
: In many prediction problems, including those that arise in computer security and computational finance, the process generating the data is best modeled as an adversary with whom ...
107
click to vote
WSC
2004
15 years 5 months ago
2004
The Hats Simulator is designed to be a lightweight proxy for many intelligence analysis problems, and thus a test environment for analysts' tools. It is a virtual world in wh...
139
click to vote
ENTCS
2002
15 years 4 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...