3367 search results - page 459 / 674 » Incremental assignment problem |
104
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper we consider the problem of detecting multiple point-like targets in the presence of steering vector mismatches and Gaussian disturbance with unknown covariance matri...
147
click to vote
AI
2011
Springer
14 years 7 months ago
2011
Springer
Although propositional satisfiability (SAT) is NP-complete, state-of-the-art SAT solvers are able to solve large, practical instances. The concept of backdoors has been introduced...
146
click to vote
ASPDAC
2011
ACM
14 years 7 months ago
2011
ACM
– This paper concerns throughput-constrained parallel execution of synchronous data flow graphs. This paper assumes static mapping and dynamic scheduling of nodes, which has seve...
184
click to vote
CLUSTER
2011
IEEE
14 years 4 months ago
2011
IEEE
—Much of dense linear algebra has been successfully blocked to concentrate the majority of its time in the Level 3 BLAS, which are not only efficient for serial computation, but...
136
click to vote
ESOP
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...