1697 search results - page 277 / 340 » On Bayesian Case Matching |
DATE
2000
IEEE
14 years 14 days ago
2000
IEEE
Recently a number of heuristic based system-level synthesis algorithms have been proposed. Though these algorithms quickly generate good solutions, how close these solutions are t...
ICC
2000
IEEE
14 years 13 days ago
2000
IEEE
— In this paper, we present a framework for the analysis of a set of adaptive variable-bit-rate voice sources in a packet network. The instantaneous bit rate of each source is de...
INFOCOM
2000
IEEE
14 years 13 days ago
2000
IEEE
Abstract—A challenging aspect of mobile communications consists in exploring ways in which the available run time of terminals can be maximized. In this paper, we present a detai...
SIGSOFT
2000
ACM
14 years 12 days ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
STOC
1999
ACM
14 years 10 days ago
1999
ACM
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...