11397 search results - page 161 / 2280 » A Relational Abstraction for Functions |
185
click to vote
FTRTFT
1994
Springer
15 years 11 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
206
click to vote
IJCAI
2007
15 years 8 months ago
2007
Dynamic programming algorithms provide a basic tool identifying optimal solutions in Markov Decision Processes (MDP). The paper develops a representation for decision diagrams sui...
172
click to vote
BIB
2008
15 years 7 months ago
2008
For most organisms, computational operon predictions are the only source of genome-wide operon information. Operon prediction methods described in literature are based on (a combi...
142
click to vote
JAT
2007
15 years 6 months ago
2007
Let LN+1 be a linear differential operator of order N + 1 with constant coefficients and real eigenvalues 1, . . . , N+1, let E( N+1) be the space of all C∞-solutions of LN+1 o...
179
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Software’s expense owes partly to frequent reimplementation of similar functionality and partly to maintenance of patches, ports or components targeting evolving interfaces. Mor...