1277 search results - page 15 / 256 » Terminating Decision Algorithms Optimally |
133
click to vote
SIGCOMM
1995
ACM
15 years 6 months ago
1995
ACM
A mobile user location management mechanism is introduced that incorporates a distance based location update scheme and a paging mechanism that satis es prede ned delay requiremen...
150
click to vote
ISAAC
1993
Springer
15 years 7 months ago
1993
Springer
A binary decision diagram (BDD) is a directed acyclic graph for representing a Boolean function. BDD’s are widely used in various areas which require Boolean function manipulatio...
133
click to vote
STOC
2004
ACM
16 years 3 months ago
2004
ACM
Several combinatorial optimization problems choose elements to minimize the total cost of constructing a feasible solution that satisfies requirements of clients. In the STEINER T...
171
Voted
TACAS
2000
Springer
15 years 6 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
129
Voted
AAAI
2004
15 years 4 months ago
2004
This paper considers online stochastic optimization problems where time constraints severely limit the number of offline optimizations which can be performed at decision time and/...