Sciweavers

2553 search results - page 220 / 511
» Modeling Trees with Hypertextures
Sort
View
165
Voted
ISCAS
2005
IEEE
159views Hardware» more  ISCAS 2005»
16 years 21 days ago
A Fourier series-based RLC interconnect model for periodic signals
— 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 ...
Guoqing Chen, Eby G. Friedman
ICAISC
2004
Springer
16 years 14 days ago
Strategic Planning through Model Checking of ATL Formulae
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 ...
Wojciech Jamroga
FSS
2008
69views more  FSS 2008»
15 years 7 months ago
A methodology for automated fuzzy model generation
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...
185
Voted
ICRA
2003
IEEE
131views Robotics» more  ICRA 2003»
16 years 11 days ago
Sky/ground modeling for autonomous MAV flight
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...
CVPR
2008
IEEE
16 years 9 months ago
A hierarchical and contextual model for aerial image understanding
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 ...