6881 search results - page 203 / 1377 » Motivation |
191
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...
168
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
We introduce and motivate crowd computing, which combines mobile devices and social interactions to achieve large-scale distributed computation. An opportunistic network of mobile...
168
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
—Many organizations are aiming to move away from traditional batch processing ETL to real-time ETL (RT-ETL). This move is motivated by a need to analyze and take decisions on as ...
167
click to vote
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Given an edge-weighted tree T, a k-trunk is a subtree Tk with k leaves in T which minimizes the sum of the distances of all vertices in T from Tk plus the weight of Tk. In this pa...
ADCM
2008
15 years 6 months ago
2008
It was observed in [4] that the Hilbert transform of the univariate B-spline preserves the B-spline recurrence. Motivated by this observation, we characterize translation invarian...