1361 search results - page 19 / 273 » Boolean Comparison by Simulation |
TACAS
2009
Springer
14 years 13 days ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...
VR
2003
IEEE
14 years 1 months ago
2003
IEEE
The usefulness of modern day haptics equipment for virtual simulations of actual maintenance actions is examined. In an effort to categorize which areas haptic simulations may be ...
WSC
1998
13 years 9 months ago
1998
We consider how to efficiently allocate computing resources in order to infer the best of a finite set of simulated systems, where best means that the system has the maximal expec...
PATAT
1997
Springer
14 years 1 days ago
1997
Springer
In this study we have tackled the NP-hard problem of academic class scheduling (or timetabling) at the university level. We have investigated a variety of approaches based on simu...
WSC
2007
13 years 10 months ago
2007
In this paper, we compare two scheduling procedures designed to minimize setup costs for a make-to-order electronics manufacturing. While setup costs are important, quick response...