Sciweavers

3233 search results - page 406 / 647
» Validation Method for Intelligent Systems
Sort
View
HICSS
2002
IEEE
89views Biometrics» more  HICSS 2002»
15 years 10 months ago
Nash Strategies for Load Serving Entities in Dynamic Energy Multi-markets
In this paper the problem of developing bidding strategies for the participants of dynamic energy-multi markets is studied. Attention is given to strategic bidding of load serving...
Jose B. Cruz Jr., Ashkan Kian
VL
2002
IEEE
144views Visual Languages» more  VL 2002»
15 years 10 months ago
Interactive Visualization of Java Programs
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
Paul V. Gestwicki, Bharat Jayaraman
CIBCB
2007
IEEE
15 years 9 months ago
Genetic Regulatory Network Modeling Using Network Component Analysis and Fuzzy Clustering
Gene regulatory network model is the most widely used mechanism to model and predict the behavior of living organisms. Network Component Analysis (NCA) as an emerging issue for unc...
Fatemeh Bakouie, Mohammad Hassan Moradi
117
Voted
FMCAD
2006
Springer
15 years 8 months ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...
CDC
2009
IEEE
164views Control Systems» more  CDC 2009»
15 years 6 months ago
Kalman filter based estimation of flow states in open channels using Lagrangian sensing
In this article, we investigate real-time estimation of flow states, average velocity and stage (water depth), in open channels using the measurements obtained from Lagrangian sens...
Mohammad Rafiee, Qingfang Wu, Alexandre M. Bayen