4949 search results - page 776 / 990 » Consistency and Set Intersection |
168
click to vote
ENTCS
2007
15 years 6 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...
190
click to vote
ENTCS
2007
15 years 6 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
177
click to vote
JSC
2006
15 years 6 months ago
2006
In statistics, mixture models consisting of several component subpopulations are used widely to model data drawn from heterogeneous sources. In this paper, we consider maximum lik...
171
click to vote
NAR
2008
15 years 6 months ago
2008
Many Microbe Microarrays Database (M3D ) is designed to facilitate the analysis and visualization of expression data in compendia compiled from multiple laboratories. M3D contains...
162
click to vote
NAR
2008
15 years 6 months ago
2008
ENDEAVOUR (http://www.esat.kuleuven.be/endeavour web; this web site is free and open to all users and there is no login requirement) is a web resource for the prioritization of ca...