1277 search results - page 5 / 256 » Terminating Decision Algorithms Optimally |
95
Voted
DSD
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we propose an approach to the reduction of sizes of Multi-Terminal Binary Decision Diagrams (MTBDDs) [3] by using the copy properties of discrete functions. The und...
104
click to vote
ICWN
2003
15 years 4 months ago
2003
Wireless multi carrier approaches can support the simultaneous transmissions to several wireless terminals, each one getting only some of the available subcarriers. Judiciously ass...
135
click to vote
SIMULATION
1998
15 years 2 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
116
Voted
DAGSTUHL
2007
15 years 4 months ago
2007
Abstract. Well-founded orders are the most basic, but also most important ingredient to virtually all termination analyses. Numerous fully automated search algorithms for these cla...
136
Voted
CSFW
1999
IEEE
15 years 7 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...