1222 search results - page 124 / 245 » corr 2008 |
188
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
To aid the development of spreadsheet debugging tools, a knowledge of end-users natural behaviour within the Excel environment would be advantageous. This paper details the design...
166
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We describe an algorithm for comparing two RNA secondary structures coded in the form of trees that introduces two new operations, called node fusion and edge fusion, besides the t...
190
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
172
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we describe a new approach to programming which generalizes object-oriented programming. It is based on using a new programming construct, called concept, which gener...
206
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The combination of source coding with decoder side-information (Wyner-Ziv problem) and channel coding with encoder side-information (Gel'fand-Pinsker problem) can be optimall...