2944 search results - page 395 / 589 » Improving Bound Propagation |
188
click to vote
ISIPTA
2005
IEEE
16 years 4 days ago
2005
IEEE
Uncertainty is a key issue in decision analysis and other kinds of applications. Researchers have developed a number of approaches to address computations on uncertain quantities....
170
click to vote
ISQED
2005
IEEE
16 years 4 days ago
2005
IEEE
Reliability decisions taken early in system design can bring significant benefits in terms of design quality. This paper presents a 0-1 integer linear programming (ILP) formulatio...
195
click to vote
FC
2005
Springer
16 years 2 days ago
2005
Springer
We demonstrate how to make voting protocols resistant against manipulation by computationally bounded malicious voters, by extending the previous results of Conitzer and Sandholm i...
176
click to vote
FOSSACS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...
163
click to vote
ICTCS
2005
Springer
16 years 2 days ago
2005
Springer
We study the effect of laxity, or slack time, on the online scheduling of broadcasts with deadlines. The laxity of a request is defined to be the ratio between its span (differe...