5090 search results - page 490 / 1018 » Constructing Strategies for Programming |
214
click to vote
MTPP
2010
15 years 1 months ago
2010
The ubiquity of many-core architectures poses challenges to software developers to make scalable software. To parallelize data-intensive applications on a many-core platform, one h...
247
click to vote
JMLR
2012
13 years 9 months ago
2012
Given a point set S and an unknown metric d on S, we study the problem of efficiently partitioning S into k clusters while querying few distances between the points. In our model...
202
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
221
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...
197
click to vote
CVPR
2006
IEEE
16 years 9 months ago
2006
IEEE
This paper presents a novel algorithm that improves the localization of disparity discontinuities of disparity maps obtained by multi-baseline stereo. Rather than associating a di...