2206 search results - page 88 / 442 » On the power of coercion abstraction |
ICFP
2012
ACM
11 years 11 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
KI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper presents the overall system of a learning, selforganizing, and adaptive controller used to optimize the combustion process in a hard-coal fired power plant. T...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Ultra-Wideband (UWB) Geo-Regioning is an approach to localize UWB transmitters by means of their channel impulse responses. A received channel impulse response is assig...
VTC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—This paper presents a fully decentralized link adaptation algorithm to manage interference in an ad hoc network operating in TDD mode. The algorithm, called busy tone in...
CAAN
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Random graphs with given expected degrees G(w) were introduced by Chung and Lu so as to extend the theory of classical G(n, p) random graphs to include random power law g...