Sciweavers

3025 search results - page 458 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
SIGGRAPH
2009
ACM
15 years 9 months ago
InTune: a musician's intonation visualization system
We present a freely downloadable program, InTune, designed to help musicians better hear and improve their intonation. The program uses the musical score from which the musician p...
Kyung Ae Lim, Christopher Raphael
TASE
2007
IEEE
15 years 9 months ago
Realizing Live Sequence Charts in SystemVerilog
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song...
TACAS
2005
Springer
129views Algorithms» more  TACAS 2005»
15 years 8 months ago
A New Algorithm for Strategy Synthesis in LTL Games
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
HICSS
2003
IEEE
132views Biometrics» more  HICSS 2003»
15 years 8 months ago
Experience with ANSI C Markup Language for a Cross-Referencer
The purpose of this paper is twofold: (1) to examine the properties of our ANSI C Markup Language (ACML) as a domain-specific language (DSL); and (2) to show that ACML is useful ...
Hayato Kawashima, Katsuhiko Gondow
GECCO
2003
Springer
108views Optimization» more  GECCO 2003»
15 years 8 months ago
Evolutionary Testing of Flag Conditions
Evolutionary Testing (ET) has been shown to be very successful in testing real world applications [16]. However, it has been pointed out [11], that further research is necessary if...
André Baresel, Harmen Sthamer