Sciweavers

1701 search results - page 64 / 341
» Computer Science and State Machines
Sort
View
CEC
2003
IEEE
15 years 3 months ago
Learning DFA: evolution versus evidence driven state merging
Learning Deterministic Finite Automata (DFA) is a hard task that has been much studied within machine learning and evolutionary computation research. This paper presents a new met...
Simon M. Lucas, T. Jeff Reynolds
IWANN
2009
Springer
15 years 4 months ago
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
Karnig Derderian, Mercedes G. Merayo, Robert M. Hi...
AIME
2007
Springer
15 years 4 months ago
Machine Learning Techniques for Decision Support in Anesthesia
Abstract. The growing availability of measurement devices in the operating room enables the collection of a huge amount of data about the state of the patient and the doctors’ pr...
Olivier Caelen, Gianluca Bontempi, Luc Barvais
ACTA
2007
106views more  ACTA 2007»
14 years 10 months ago
Symbolic models for control systems
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
Paulo Tabuada
SC
2004
ACM
15 years 3 months ago
Computing - An Intellectual Lever for Multidisciplinary Discovery
: Legend says that Archimedes remarked, on the discovery of the lever, “Give me a place to stand, and I can move the world.” Today, computing pervades all aspects of science an...
Daniel A. Reed