10899 search results - page 597 / 2180 » The GP Programming System |
141
click to vote
ISMIR
2004
Springer
16 years 16 days ago
2004
Springer
Previous work in Query-by-Humming systems has left open many questions. Although a variety of techniques have been explored, there has been relatively little work to compare them ...
210
click to vote
LPAR
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
196
click to vote
GECCO
2003
Springer
16 years 12 days ago
2003
Springer
Abstract. Multi-FPGA systems (MFS) are used for a great variety of applications, for instance, dynamically re-configurable hardware applications, digital circuit emulation, and num...
174
click to vote
HUMAN
2003
Springer
16 years 12 days ago
2003
Springer
Perfect protection against all system threats is considered to be impossible. The problem of monitoring against the threats has been an issue in literature, but its progress has no...
174
click to vote
ECBS
1997
IEEE
15 years 11 months ago
1997
IEEE
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...