974 search results - page 107 / 195 » pairing 2010 |
114
click to vote
EOR
2006
15 years 3 months ago
2006
When two competing and incompatible products coexist in a market, potential users face a choice between the two products and the alternative of deferring the decision. This paper ...
91
Voted
ECCC
2007
15 years 3 months ago
2007
We introduce the notion of a Canonical Tester for a class of properties on distributions, that is, a tester strong and general enough that “a distribution property in the class ...
128
Voted
ENTCS
2007
15 years 3 months ago
2007
We present a technique for inducing functional programs from few, well chosen input/output-examples (I/Oexamples). Potential applications for automatic program or algorithm induct...
100
click to vote
ENTCS
2007
15 years 3 months ago
2007
We tackle the problem of data-structure rewriting including global and local pointer redirections. Each basic rewrite step may perform three kinds of actions: (i) Local redirectio...
131
click to vote
ENTCS
2007
15 years 3 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...