— Based on a Fourier series analysis, an analytic interconnect model is presented which is suitable for periodic signals, such as a clock signal. In this model, the far end time ...
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
In this paper we propose a generic methodology for the automated generation of fuzzy models. The methodology is realized in three stages. Initially, a crisp model is created and i...
Markos G. Tsipouras, Themis P. Exarchos, Dimitrios...
Abstract— Recently, we have implemented a computervision based horizon-tracking algorithm for flight stability and autonomy in Micro Air Vehicles (MAVs) [1]. Occasionally, this ...
Sinisa Todorovic, Michael C. Nechyba, Peter G. Ifj...
In this paper we present a novel method for parsing aerial images with a hierarchical and contextual model learned in a statistical framework. We learn hierarchies at the scene an...
Jake Porway, Kristy Wang, Benjamin Yao, Song Chun ...