Sciweavers

109 search results - page 4 / 22
» A New Control Structure for Transformation-Based Generators
Sort
View
GECCO
2003
Springer
148views Optimization» more  GECCO 2003»
15 years 2 months ago
Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
André Baresel, Hartmut Pohlheim, Sadegh Sad...
EMNLP
2011
13 years 9 months ago
Watermarking the Outputs of Structured Prediction with an application in Statistical Machine Translation
We propose a general method to watermark and probabilistically identify the structured outputs of machine learning algorithms. Our method is robust to local editing operations and...
Ashish Venugopal, Jakob Uszkoreit, David Talbot, F...
67
Voted
ICCAD
1996
IEEE
92views Hardware» more  ICCAD 1996»
15 years 1 months ago
Generation of BDDs from hardware algorithm descriptions
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
Shin-ichi Minato
ICRA
2007
IEEE
125views Robotics» more  ICRA 2007»
15 years 3 months ago
Port-Hamiltonian approaches to motion generation for mechanical systems
— This paper gives new motion generation methods for mechanical port-Hamiltonian systems. First, we propose a generation method based on an asymptotic stabilization method withou...
Satoru Sakai, Stefano Stramigioli
74
Voted
GECCO
2006
Springer
130views Optimization» more  GECCO 2006»
15 years 1 months ago
Pairwise sequence comparison for fitness evaluation in evolutionary structural software testing
Evolutionary algorithms are among the metaheuristic search methods that have been applied to the structural test data generation problem. Fitness evaluation methods play an import...
H. Turgut Uyar, A. Sima Etaner-Uyar, A. Emre Harma...