803 search results - page 37 / 161 » Aggregation operators and decision modeling |
AAAI
2008
13 years 10 months ago
2008
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...
TIME
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
AI
2008
Springer
13 years 7 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
WSC
1997
13 years 9 months ago
1997
We describe the application of simulation analysis to a complex operational problem involving scheduling, sequencing, and material-handling decisions. The manufacturing process un...
SIGMETRICS
2000
ACM
13 years 12 months ago
2000
ACM
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...