5086 search results - page 652 / 1018 » The Power of Comparative Reasoning |
180
click to vote
IEEEARES
2007
IEEE
16 years 1 months ago
2007
IEEE
Electronic markets, distributed peer-to-peer applications and other forms of online collaboration are all based on mutual trust, which enables transacting peers to overcome the un...
118
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper presents a learning-enhanced marketbased task allocation approach for oversubscribed domains. In oversubscribed domains all tasks cannot be completed within ...
222
click to vote
ISPW
2007
IEEE
16 years 1 months ago
2007
IEEE
The possible variability of project delay is useful information to understand and mitigate the project delay risk. However, it is not sufficiently considered in the literature con...
209
click to vote
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
In the last years, a progressive migration from single processor chips to multi-core computing devices has taken place in the general-purpose and embedded system market. The devel...
180
click to vote
CAV
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...