5810 search results - page 184 / 1162 » An Approach to Programming Based on Concepts |
311
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
173
click to vote
ICA
2004
Springer
15 years 11 months ago
2004
Springer
We address the blind source separation (BSS) problem for the convolutive mixing case. Second-order statistical methods are employed assuming the source signals are non-stationary a...
153
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
176
click to vote
KBSE
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
149
click to vote
GECCO
2009
Springer
16 years 27 days ago
2009
Springer
This paper presents a genetic programming-based symbolic regression approach to the construction of relational features in link analysis applications. Specifically, we consider t...