1087 search results - page 83 / 218 » The DecideIT Decision Tool |
WSC
1997
13 years 9 months ago
1997
The purpose of this paper is to investigate how discrete event simulation can support the growing need of information in the production system. Agility, one key to future competit...
JAIR
2002
13 years 7 months ago
2002
Hidden Markov models hmms and partially observable Markov decision processes pomdps provide useful tools for modeling dynamical systems. They are particularly useful for represent...
POPL
2011
ACM
12 years 10 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
The field of multiagent decision making is extending its tools from classical game theory by embracing reinforcement learning, statistical analysis, and opponent modeling. For ex...
HICSS
2012
IEEE
12 years 3 months ago
2012
IEEE
—Real-time access to key performance indicators is necessary to ensure timeliness and effectiveness of operational business processes. The concept of Business Activity Monitoring...