1176 search results - page 206 / 236 » Implicit Abstraction Heuristics |
64
Voted
TWC
2010
14 years 4 months ago
2010
Abstract--Frame detection and timing acquisition are challenging tasks in orthogonal frequency-division multiplexing systems plagued by narrowband interference (NBI). Most existing...
102
Voted
CONSTRAINTS
2011
14 years 1 months ago
2011
Abstract. We consider the problem of decomposing an integer matrix into a positively weighted sum of binary matrices that have the consecutive-ones property. This problem is well-k...
116
click to vote
CAIP
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. In depth map generation, the settings of the algorithm parameters to yield an accurate disparity estimation are usually chosen empirically or based on unplanned experimen...
ICDE
2012
IEEE
12 years 12 months ago
2012
IEEE
Abstract—This paper revisits the classical problem of multiquery optimization in the context of RDF/SPARQL. We show that the techniques developed for relational and semi-structur...
CAV
2012
Springer
12 years 12 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...