Sciweavers

514 search results - page 73 / 103
» Graph Based GP Applied to Dynamical Systems Modeling
Sort
View
RTCSA
1999
IEEE
15 years 2 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
CAEPIA
2003
Springer
15 years 3 months ago
Time-Series Prediction: Application to the Short-Term Electric Energy Demand
This paper describes a time-series prediction method based on the kNN technique. The proposed methodology is applied to the 24hour load forecasting problem. Also, based on recorded...
Alicia Troncoso Lora, Jesús Riquelme Santos...
CDC
2009
IEEE
170views Control Systems» more  CDC 2009»
15 years 2 months ago
Adaptive constraint-filtering method and its application to GPS positioning
—To deal with the estimation problem for systems subject to constraints while the corresponding noise processes are not completely known, the adaptive constraint-filtering method...
Tsai-Hsin Chang, Li-Sheng Wang, Fan-Ren Chang
HICSS
2002
IEEE
140views Biometrics» more  HICSS 2002»
15 years 2 months ago
Intelligent Student Profiling with Fuzzy Models
Traditional Web-based educational systems still have several shortcomings when comparing with a real-life classroom teaching, such as lack of contextual and adaptive support, lack...
Dongming Xu, Huaiqing Wang, Kaile Su
ACSW
2006
14 years 11 months ago
Simulating a computational grid with networked animat agents
Computational grids are now widespread, but their large-scale behaviour is still poorly understood. We report on some calculations of loading, scaling and utilisation behaviours o...
Kenneth A. Hawick, Heath A. James