Sciweavers

1816 search results - page 102 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
DATE
2006
IEEE
105views Hardware» more  DATE 2006»
16 years 12 days ago
Comfortable modeling of complex reactive systems
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
Steffen Prochnow, Reinhard von Hanxleden
IJRR
2008
186views more  IJRR 2008»
15 years 6 months ago
Automated Design of Adaptive Controllers for Modular Robots using Reinforcement Learning
Designing distributed controllers for self-reconfiguring modular robots has been consistently challenging. We have developed a reinforcement learning approach which can be used bo...
Paulina Varshavskaya, Leslie Pack Kaelbling, Danie...
AIIA
1995
Springer
15 years 10 months ago
Learning Programs in Different Paradigms using Genetic Programming
Genetic Programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to par...
Man Leung Wong, Kwong-Sak Leung
ECTEL
2008
Springer
15 years 8 months ago
The Evolution of Social Ontologies
The idea of representing knowledge in formal models gets more and more popular. Since these models are understandable and thus processable by machines, the retrieval of knowledge i...
Nicolas Weber
ICDCSW
2011
IEEE
14 years 6 months ago
Finding a "Kneedle" in a Haystack: Detecting Knee Points in System Behavior
—Computer systems often reach a point at which the relative cost to increase some tunable parameter is no longer worth the corresponding performance benefit. These “knees” t...
Ville Satopaa, Jeannie R. Albrecht, David Irwin, B...