15792 search results - page 3063 / 3159 » Computational Abstraction Steps |
SOUPS
2009
ACM
14 years 4 months ago
2009
ACM
Abstract. Online privacy policies are difficult to understand. Most privacy policies require a college reading level and an ability to decode legalistic, confusing, or jargon-laden...
ASPLOS
2010
ACM
14 years 4 months ago
2010
ACM
In this paper we evaluate the atomic region compiler abstraction by incorporating it into a commercial system. We find that atomic regions are simple and intuitive to integrate i...
CISS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—We consider adapting the transmission rate to maximize the goodput, i.e., the amount of data transmitted without error, over a continuous Markov flat-fading wireless ch...
GLOBECOM
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—It has been recently shown that base station cooperation may yield great capacity improvement in downlink multiple antenna cellular networks. However, the proposed solut...
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— We propose a new approximate algorithm, LAJIV (Lookahead J-MDP Information Value), to solve Oracular Partially Observable Markov Decision Problems (OPOMDPs), a special ...