Sciweavers

620 search results - page 61 / 124
» Verification and Validation and Artificial Intelligence
Sort
View
TSP
2010
13 years 4 months ago
Modeling and identification of nonlinear systems in the short-time fourier transform domain
Abstract--In this paper, we introduce a novel approach for improved nonlinear system identification in the short-time Fourier transform (STFT) domain. We first derive explicit repr...
Yekutiel Avargel, Israel Cohen
TWC
2010
13 years 4 months ago
Performance of an Energy Detector over Channels with Both Multipath Fading and Shadowing
This paper analyzes the performance of an energy detector over wireless channels with composite multipath fading and shadowing effects. These effects are modeled by using the and ...
Saman Atapattu, Chintha Tellambura, Hai Jiang
ICOST
2011
Springer
13 years 1 months ago
Using Association Rule Mining to Discover Temporal Relations of Daily Activities
The increasing aging population has inspired many machine learning researchers to find innovative solutions for assisted living. A problem often encountered in assisted living set...
Ehsan Nazerfard, Parisa Rashidi, Diane J. Cook
ISMIS
2011
Springer
13 years 17 days ago
An Evolutionary Algorithm for Global Induction of Regression Trees with Multivariate Linear Models
In the paper we present a new evolutionary algorithm for induction of regression trees. In contrast to the typical top-down approaches it globally searches for the best tree struct...
Marcin Czajkowski, Marek Kretowski
ISMVL
2007
IEEE
104views Hardware» more  ISMVL 2007»
14 years 4 months ago
Evaluation of Toggle Coverage for MVL Circuits Specified in the SystemVerilog HDL
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
Mahsan Amoui, Daniel Große, Mitchell A. Thor...