786 search results - page 21 / 158 » A static theory of promises |
SIGSOFT
1994
ACM
15 years 1 months ago
1994
ACM
Testing is potentially the best grounded part of software engineering, since it deals with the well defined situation of a fixed program and a test (a finite collection of input v...
103
click to vote
SAT
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
CEEMAS
2005
Springer
15 years 3 months ago
2005
Springer
The purpose of this paper is to introduce a dialectical theory for plan synthesis based on a multi-agent approach. This approach is a promising way to devise systems based on agent...
WOWMOM
2009
ACM
15 years 2 months ago
2009
ACM
In this paper, we focus on proactive radio resource management schemes that retain the quality of the individual connections by pre-reserving the needed resources in a cellular ne...
FLAIRS
2003
14 years 11 months ago
2003
An approach to fuse multiple images based on Dempster-Shafer evidential reasoning is proposed in this article. Dempster-Shafer theory provides a complete framework for combining w...