Sciweavers

774 search results - page 105 / 155
» Process Discovery Using Integer Linear Programming
Sort
View
ORL
2000
77views more  ORL 2000»
15 years 1 months ago
Improved dynamic programs for some batching problems involving the maximum lateness criterion
We study four scheduling problems involving the maximum lateness criterion and an element of batching. For all the problems that we examine, algorithms appear in the literature th...
Albert P. M. Wagelmans, A. E. Gerodimos
NJC
2000
169views more  NJC 2000»
15 years 1 months ago
A Type System for Bounded Space and Functional In-Place Update
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
Martin Hofmann
ICC
2008
IEEE
118views Communications» more  ICC 2008»
15 years 8 months ago
Placement of Multiple Mobile Data Collectors in Underwater Acoustic Sensor Networks
—For the sake of maximizing the network lifetime, we propose a novel placement scheme for mobile data collectors in Underwater Acoustic Sensor Networks (UASNs). Our scheme is bas...
Waleed Alsalih, Selim G. Akl, Hossam S. Hassanein
DAWAK
2000
Springer
15 years 6 months ago
Applying Vertical Fragmentation Techniques in Logical Design of Multidimensional Databases
In the context of multidimensional databases implemented on relational DBMSs through star schemes, the most effective technique to enhance performances consists of materializing re...
Matteo Golfarelli, Dario Maio, Stefano Rizzi
STTT
2008
90views more  STTT 2008»
15 years 2 months ago
A uniform framework for weighted decision diagrams and its implementation
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
Jörn Ossowski, Christel Baier