4693 search results - page 569 / 939 » Verifying Hybrid Systems |
147
click to vote
GECCO
2004
Springer
16 years 8 days ago
2004
Springer
This paper proposes an experimental evaluation of various discretization schemes in three different evolutionary systems for inductive concept learning. The various discretization...
218
click to vote
IJCAI
1989
15 years 8 months ago
1989
A macro-operator is an integrated operator consisting of plural primitive operators and enables a problem solver to solve more efficiently. However, if a learning system generates...
447
click to vote
JTRES
2010
ACM
15 years 7 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
195
click to vote
SCP
2010
15 years 5 months ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
219
click to vote
HYBRID
2011
Springer
14 years 6 months ago
2011
Springer
We examine the problem of reliable networked control when the communication channel between the controller and the actuator periodically drops packets and is faulty i.e., corrupts...