Sciweavers

592 search results - page 29 / 119
» Real Space Process Algebra
Sort
View
ICTAI
2008
IEEE
14 years 2 months ago
Real-Time Classification of Streaming Sensor Data
The last decade has seen a huge interest in classification of time series. Most of this work assumes that the data resides in main memory and is processed offline. However, recent...
Shashwati Kasetty, Candice Stafford, Gregory P. Wa...
ADAEUROPE
2007
Springer
14 years 2 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
FDL
2006
IEEE
14 years 2 months ago
Reusing Real-Time Systems Design Experience
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk...
AIIDE
2008
13 years 10 months ago
Stochastic Plan Optimization in Real-Time Strategy Games
We present a domain independent off-line adaptation technique called Stochastic Plan Optimization for finding and improving plans in real-time strategy games. Our method is based ...
Andrew Trusty, Santiago Ontañón, Ash...
APIN
2000
120views more  APIN 2000»
13 years 7 months ago
Two-Loop Real-Coded Genetic Algorithms with Adaptive Control of Mutation Step Sizes
Genetic algorithms are adaptive methods based on natural evolution that may be used for search and optimization problems. They process a population of search space solutions with t...
Francisco Herrera, Manuel Lozano