514 search results - page 30 / 103 » On enumerating all minimal solutions of feedback problems |
100
click to vote
JAIR
2008
15 years 18 days ago
2008
In a facility with front room and back room operations, it is useful to switch workers between the rooms in order to cope with changing customer demand. Assuming stochastic custom...
113
click to vote
PPOPP
2005
ACM
15 years 6 months ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
103
Voted
CVPR
2000
IEEE
16 years 2 months ago
2000
IEEE
The Errors-in-Variables (EIV) model from statistics is often employed in computer vision thoughonlyrarely under this name. In an EIV model all the measurements are corrupted by no...
85
Voted
ISCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
EOR
2007
15 years 16 days ago
2007
The contribution presents a heuristic for the three-dimensional strip packing problem (3D-SPP) with rectangular pieces (boxes). The considered 3D-SPP can be formulated as follows:...