Sciweavers

4716 search results - page 703 / 944
» Tangible functional programming
Sort
View
VLC
2002
93views more  VLC 2002»
14 years 10 months ago
Metrics for Graph Drawing Aesthetics
Graph layout algorithms typically conform to one or more aesthetic criteria (e.g. minimising the number of bends, maximising orthogonality). Determining the extent to which a grap...
Helen C. Purchase
IEEECIT
2010
IEEE
14 years 9 months ago
A Learning Spectrum Hole Prediction Model for Cognitive Radio Systems
—In this paper, we present a new spectrum-hole prediction model for cognitive radio (CR) systems based on the IEEE 802.11 wireless local areas networks. We have also analyzed the...
Zhigang Wen, Chunxiao Fan, Xiaoying Zhang, Yuexin ...
OL
2010
104views more  OL 2010»
14 years 9 months ago
On representations of the feasible set in convex optimization
We consider the convex optimization problem minx{f(x) : gj(x) ≤ 0, j = 1, . . . , m} where f is convex, the feasible set K is convex and Slater’s condition holds, but the funct...
Jean B. Lasserre
SPIN
2010
Springer
14 years 9 months ago
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio,...
VAMOS
2010
Springer
14 years 9 months ago
Optimizing Non-functional Properties of Software Product Lines by means of Refactorings
Abstract—Today, software product line engineering concentrates on tailoring the functionality of programs. However, we and others observed an increasing interest in non-functiona...
Norbert Siegmund, Martin Kuhlemann, Mario Pukall, ...