Sciweavers

11168 search results - page 203 / 2234
» Abstract State Processes
Sort
View
ICSEA
2007
IEEE
16 years 21 days ago
A Novel Framework for Test Domain Reduction using Extended Finite State Machine
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
Nutchakorn Ngamsaowaros, Peraphon Sophatsathit
AIME
2007
Springer
16 years 17 days ago
Predictive Modeling of fMRI Brain States Using Functional Canonical Correlation Analysis
We present a novel method for predictive modeling of human brain states from functional neuroimaging (fMRI) data. Extending the traditional canonical correlation analysis of discre...
Sennay Ghebreab, Arnold W. M. Smeulders, Pieter W....
155
Voted
HYBRID
2007
Springer
16 years 16 days ago
Symbolic Analysis for GSMP Models with One Stateful Clock
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
Mikhail Bernadsky, Rajeev Alur
IJCNN
2006
IEEE
16 years 12 days ago
Echo State Networks for Determining Harmonic Contributions from Nonlinear Loads
—This paper investigates the application of a new kind of recurrent neural network called Echo State Networks (ESNs) for the problem of measuring the actual amount of harmonic cu...
Joy Mazumdar, Ganesh K. Venayagamoorthy, Ronald G....
FGR
2000
IEEE
158views Biometrics» more  FGR 2000»
15 years 10 months ago
Dual-State Parametric Eye Tracking
Most eye trackers work well for open eyes. However, blinking is a physiological necessity for humans. Moreover, for applicationssuch as facial expression analysis and driver aware...
Ying-li Tian, Takeo Kanade, Jeffrey F. Cohn