5863 search results - page 773 / 1173 » Calculating Functional Programs |
169
Voted
GD
2007
Springer
16 years 1 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...
163
click to vote
IFIP
2007
Springer
16 years 1 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...
206
click to vote
TPHOL
2005
IEEE
16 years 1 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...
146
click to vote
CAISE
2005
Springer
16 years 1 months 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...
175
click to vote
ICCS
2005
Springer
16 years 29 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...