Sciweavers

945 search results - page 4 / 189
» Evolving Symbolic Controllers
Sort
View
KBSE
2010
IEEE
13 years 5 months ago
Test generation to expose changes in evolving programs
Software constantly undergoes changes throughout its life cycle, and thereby it evolves. As changes are introduced into a code base, we need to make sure that the effect of the ch...
Dawei Qi, Abhik Roychoudhury, Zhenkai Liang
RTSS
1993
IEEE
13 years 11 months ago
Symbolic Model Checking for Event-Driven Real-Time Systems
Jin Yang, Aloysius K. Mok, Farn Wang
EUROGP
2010
Springer
166views Optimization» more  EUROGP 2010»
14 years 15 days ago
Learning a Lot from Only a Little: Genetic Programming for Panel Segmentation on Sparse Sensory Evaluation Data
We describe a data mining framework that derives panelist information from sparse flavour survey data. One component of the framework executes genetic programming ensemble based s...
Katya Vladislavleva, Kalyan Veeramachaneni, Una-Ma...
HYBRID
2009
Springer
14 years 2 months ago
Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
Patrick Martin, Magnus Egerstedt
FMSD
2006
77views more  FMSD 2006»
13 years 7 months ago
Data structures for symbolic multi-valued model-checking
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
Marsha Chechik, Arie Gurfinkel, Benet Devereux, Al...