8555 search results - page 163 / 1711 » Property Based Coordination |
145
click to vote
ENTCS
2011
14 years 11 months ago
2011
SUBSEXPL is a system originally developed to visualise reductions, simpliļ¬cations and normalisations in three important calculi of explicit substitutions and has been applied to...
178
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
A multiple color-filter aperture (MCA) camera can provide depth information as well as color and intensity in the single-camera framework, where the MCA generates misalignment bet...
158
click to vote
DM
1998
15 years 4 months ago
1998
We give a counterexample to a conjecture by Wild about binary matroids. We connect two equivalent lines of research in matroid theory: a simple type of basis-exchange property and ...
146
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Digital system designs are the product of valuable effort and knowhow. Their embodiments, from software and HDL program down to device-level netlist and mask data, represent caref...
155
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
An effective query optimizer finds a query plan that exploits the characteristics of the source data. In data integration, little is known in advance about sources' propertie...