Sciweavers

8917 search results - page 1262 / 1784
» Abstraction in Algorithm Animation
Sort
View
GD
2004
Springer
16 years 13 days ago
Computing Radial Drawings on the Minimum Number of Circles
A radial drawing is a representation of a graph in which the vertices lie on concentric circles of finite radius. In this paper we study the problem of computing radial drawings ...
Emilio Di Giacomo, Walter Didimo, Giuseppe Liotta,...
GECCO
2004
Springer
115views Optimization» more  GECCO 2004»
16 years 13 days ago
Parameter-Less Hierarchical BOA
Abstract. The parameter-less hierarchical Bayesian optimization algorithm (hBOA) enables the use of hBOA without the need for tuning parameters for solving each problem instance. T...
Martin Pelikan, Tz-Kai Lin
GI
2004
Springer
16 years 13 days ago
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
Jan Olaf Blech, Sabine Glesner
HSNMC
2004
Springer
158views Multimedia» more  HSNMC 2004»
16 years 13 days ago
HMM-Based Monitoring of Packet Channels
Abstract. Performance of real-time applications on network communication channels are strongly related to losses and temporal delays. Several studies showed that these network feat...
Pierluigi Salvo Rossi, Francesco Palmieri, Giulio ...
HUC
2004
Springer
16 years 13 days ago
The NearMe Wireless Proximity Server
Abstract. NearMe is a server, algorithms, and application programming interfaces (APIs) for clients equipped with 802.11 wireless networking (Wi-Fi) to compute lists of people and ...
John Krumm, Ken Hinckley
« Prev « First page 1262 / 1784 Last » Next »