In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
- In this paper, we study the wire sizing and wire spacing problem for post-layout performance optimization under Elmore delay model. Both ground capacitance and coupled capacitanc...
This paper addresses the problem of jointly clustering two segmentations of closely correlated images. We focus in particular on the application of reconstructing neuronal structu...
NASA and USGS are collaborating to produce a global map of Earth using Landsat 5 Thematic Mapper and Landsat 7 Enhanced Thematic Mapper Plus sensor data from the period of 2004 th...
Robert A. Morris, John Gasch, Lina Khatib, Steven ...
In this paper we show that the problem of optimal mine planning can be cast in the framework of receding horizon control. Traditional formulations of this problem have cast it in ...