Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
Abstract— Many spatial phenomena exhibit vagueness. Representation of such phenomena requires vague objects. In previous work, we provided definitions for vague objects: vague p...
We have developed and continue to enhance automated intelligent software that performs the tasks and decision making which now occurs by the personnel manning watch stations in the...
Robert Richards, Richard Stottler, Ben Ball, Cosku...
Robust and resilient interconnected structures rely on decision procedures, both under uncertainty and multicriteria. In decision under uncertainty, we aim at finding a scoring p...
In this paper, we present the parallelization of tabu search on a network of workstations using PVM. Two parallelization strategies are integrated: functional decomposition strate...
Ahmad A. Al-Yamani, Sadiq M. Sait, Habib Youssef, ...