Sciweavers

3250 search results - page 365 / 650
» An Algorithm to Solve a Linear Program
Sort
View
CP
2004
Springer
16 years 1 days ago
Computing the Frequency of Partial Orders
In this paper we study four algorithms for computing the frequency of a given partial order. Here the frequency of a partial order is the number of standard labellings respecting t...
Marc R. C. van Dongen
WEA
2007
Springer
107views Algorithms» more  WEA 2007»
16 years 22 days ago
Trunk Packing Revisited
For trunk packing problems only few approximation schemes are known, mostly designed for the European standard DIN 70020 [6] with equally sized boxes [8, 9, 11, 12]. In this paper ...
Ernst Althaus, Tobias Baumann, Elmar Schömer,...
151
Voted
WOWMOM
2006
ACM
110views Multimedia» more  WOWMOM 2006»
16 years 18 days ago
Minimum Cost Wireless Broadband Overlay Network Planning
Wireless broadband networks, especially WiMAX networks, have emerged in the industry recently and many challenging research issues arise. In this paper, we proposed a heuristic cl...
Peng Lin, Hung Q. Ngo, Chunming Qiao, Xin Wang, Ti...
SPIN
2004
Springer
15 years 12 months ago
Minimization of Counterexamples in SPIN
We propose an algorithm to find a counterexample to some property in a finite state program. This algorithm is derived from SPIN’s one, but it finds a counterexample faster th...
Paul Gastin, Pierre Moro, Marc Zeitoun
DGCI
2006
Springer
15 years 10 months ago
Recognition of Blurred Pieces of Discrete Planes
We introduce a new discrete primitive, the blurred piece of a discrete plane, which relies on the arithmetic definition of discrete planes. It generalizes such planes, admitting th...
Laurent Provot, Lilian Buzer, Isabelle Debled-Renn...