Sciweavers

5210 search results - page 1036 / 1042
» Exact geometric computation
Sort
View
MP
2002
143views more  MP 2002»
13 years 8 months ago
Extending Dantzig's bound to the bounded multiple-class binary Knapsack problem
The bounded multiple-class binary knapsack problem is a variant of the knapsack problem where the items are partitioned into classes and the item weights in each class are a multip...
François Vanderbeck
SIGMETRICS
2002
ACM
13 years 8 months ago
Full-system timing-first simulation
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...
Carl J. Mauer, Mark D. Hill, David A. Wood
ENTCS
2008
153views more  ENTCS 2008»
13 years 8 months ago
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs
The well-known notion of critical pairs already allows a static conflict detection, which is important for all kinds of applications and already implemented in AGG. Unfortunately ...
Leen Lambers, Hartmut Ehrig, Fernando Orejas
JOCN
2010
81views more  JOCN 2010»
13 years 7 months ago
Mental Reversal of Imagined Melodies: A Role for the Posterior Parietal Cortex
■ Two fMRI experiments explored the neural substrates of a musical imagery task that required manipulation of the imagined sounds: temporal reversal of a melody. Musicians were ...
Robert J. Zatorre, Andrea R. Halpern, Marc Bouffar...
QUESTA
2010
112views more  QUESTA 2010»
13 years 7 months ago
Admission control for a multi-server queue with abandonment
In a M/M/N+M queue, when there are many customers waiting, it may be preferable to reject a new arrival rather than risk that arrival later abandoning without receiving service. O...
Yasar Levent Koçaga, Amy R. Ward
« Prev « First page 1036 / 1042 Last » Next »