19979 search results - page 394 / 3996 » Decision support systems |
229
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
248
click to vote
AIPS
2004
15 years 9 months ago
2004
The problem of optimal policy formulation for teams of resource-limited agents in stochastic environments is composed of two strongly-coupled subproblems: a resource allocation pr...
194
click to vote
ECS
2006
15 years 7 months ago
2006
Several researches were conducted to Ad Hoc networks because of their facility of deployment, no need of an infrastructure and many other features. Thus, they still present many un...
143
click to vote
AIL
1998
15 years 7 months ago
1998
automatic abstracting of legal cases for effective access to court decisions 47-58 Caroline Uyttendaele, Marie-Francine Moens, Jos Dumortier The publisher is aware that, in spite o...
222
click to vote
WINET
2010
15 years 6 months ago
2010
We consider a scenario where devices with multiple networking capabilities access networks with heterogeneous characteristics. In such a setting, we address the problem of effici...