Sciweavers

2912 search results - page 261 / 583
» Logistic Model Trees
Sort
View
ISCAS
2005
IEEE
159views Hardware» more  ISCAS 2005»
16 years 6 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 5 hour 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 6 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...
TSP
2010
15 years 1 months ago
Learning graphical models for hypothesis testing and classification
Sparse graphical models have proven to be a flexible class of multivariate probability models for approximating high-dimensional distributions. In this paper, we propose techniques...
Vincent Y. F. Tan, Sujay Sanghavi, John W. Fisher ...
ICRA
2003
IEEE
131views Robotics» more  ICRA 2003»
15 years 12 months 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...