9626 search results - page 1448 / 1926 » Invariant Based Programming |
164
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Real-time streaming signal processing systems typically desire high throughput and low latency. Many such systems can be modeled as synchronous data flow graphs. In this paper, w...
191
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—This paper develops a mesh network protection scheme that guarantees a quantifiable minimum grade of service upon a failure within a network. The scheme guarantees that a fract...
177
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—We consider the problem of neighbor discovery in wireless networks with nodes operating in multiple frequency bands and with asymmetric beacon intervals. This is a challenging t...
338
Voted
AMW
2011
14 years 10 months ago
2011
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
230
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Stereo matching is an active area of research in image processing. In a recent work, a convex programming approach was developed in order to generate a dense disparity field. In ...