4716 search results - page 559 / 944 » Tangible functional programming |
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— An adaptive handover algorithm for wireless comn systems is addressed in this extended abstract. Moving from the Generalized Extended Least Square handover algorithm in...
EUROITV
2007
Springer
15 years 6 months ago
2007
Springer
The goal of this research project is to investigate the use of technology in supporting social relationships by helping users throughout the decisional process (“What program cou...
GD
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Constrained stress majorization is a promising new technique for integrating application specific layout constraints into forcedirected graph layout. We significantly i...
IFIP
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents the saturation throughput analysis of IEEE 802.11g (ERP-OFDM) networks. The presented work is based on the Markov model previously introduced and validated by t...
TPHOL
2005
IEEE
15 years 5 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...