4895 search results - page 595 / 979 » Functional Quantum Programming |
149
click to vote
GD
2007
Springer
16 years 24 days 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...
146
click to vote
IFIP
2007
Springer
16 years 24 days 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...
188
click to vote
TPHOL
2005
IEEE
16 years 6 days 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...
128
click to vote
CAISE
2005
Springer
16 years 5 days ago
2005
Springer
Work in software reuse focuses on reusing artifacts. In this context, finding a reusable artifact is driven by a desired functionality. This paper proposes a change to this common...
155
click to vote
ICCS
2005
Springer
16 years 4 days ago
2005
Springer
The investment strategies can be divided into two classes: passive investment strategies and active investment strategies. An index tracking investment strategy belongs to the clas...