217 search results - page 29 / 44 » A New Approach to Abstract Syntax with Variable Binding |
IDA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The underdetermined blind audio source separation problem is often addressed in the time-frequency domain by assuming that each time-frequency point is an independently d...
ACTA
1998
13 years 7 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
JUCS
2010
13 years 6 months ago
2010
Abstract: This paper addresses the problem of expressing preferences among nonfunctional properties of services in a Web service architecture. In such a context, semantic and non-f...
OHS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Structural computing is a new paradigm for developing applications in new domains. One of its benefits is that adaptation of behavior--as a consequence of changes of the ...
IICAI
2003
13 years 9 months ago
2003
Abstract. We present the Acyclic Bayesian Net Generator, a new approach to learn the structure of a Bayesian network using genetic algorithms. Due to the encoding mechanism, acycli...