803 search results - page 37 / 161 » Aggregation operators and decision modeling |
133
Voted
AAAI
2008
15 years 6 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...
137
click to vote
TIME
2007
IEEE
15 years 10 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...
141
Voted
AI
2008
Springer
15 years 3 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...
128
Voted
WSC
1997
15 years 5 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...
145
Voted
SIGMETRICS
2000
ACM
15 years 8 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...