Sciweavers

911 search results - page 12 / 183
» Combining programs and state machines
Sort
View
ICML
1994
IEEE
14 years 3 days ago
Combining Top-down and Bottom-up Techniques in Inductive Logic Programming
This paper describes a new methodfor inducing logic programs from examples which attempts to integrate the best aspects of existingILP methodsintoa singlecoherent framework. In pa...
John M. Zelle, Raymond J. Mooney, Joshua B. Konvis...
ICANNGA
2007
Springer
138views Algorithms» more  ICANNGA 2007»
14 years 2 months ago
Liquid State Genetic Programming
Abstract. A new Genetic Programming variant called Liquid State Genetic Programming (LSGP) is proposed in this paper. LSGP is a hybrid method combining a dynamic memory for storing...
Mihai Oltean
ICML
2008
IEEE
14 years 9 months ago
Beam sampling for the infinite hidden Markov model
The infinite hidden Markov model is a nonparametric extension of the widely used hidden Markov model. Our paper introduces a new inference algorithm for the infinite Hidden Markov...
Jurgen Van Gael, Yunus Saatci, Yee Whye Teh, Zoubi...
ICSEA
2007
IEEE
14 years 2 months ago
Test Data Generation from UML State Machine Diagrams using GAs
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
Chartchai Doungsa-ard, Keshav P. Dahal, M. Alamgir...
ISSTA
2004
ACM
14 years 2 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner