Sciweavers

16188 search results - page 2646 / 3238
» The Optimal PAC Algorithm
Sort
View
FSTTCS
2004
Springer
16 years 14 days ago
Adaptive Stabilization of Reactive Protocols
A self-stabilizing distributed protocol can recover from any state-corrupting fault. A self-stabilizing protocol is called adaptive if its recovery time is proportional to the numb...
Shay Kutten, Boaz Patt-Shamir
GECCO
2004
Springer
16 years 14 days ago
Three Evolutionary Codings of Rectilinear Steiner Arborescences
A rectilinear Steiner arborescence connects points in the Euclidean plane’s first quadrant and the origin with directed rectilinear edges from the origin up and to the right. Th...
Bryant A. Julstrom, Athos Antoniades
GECCO
2004
Springer
107views Optimization» more  GECCO 2004»
16 years 14 days ago
Multiple Species Weighted Voting - A Genetics-Based Machine Learning System
Multiple Species Weighted Voting (MSWV) is a genetics-based machine learning (GBML) system with relatively few parameters that combines N two-class classifiers into an N -class cla...
Alexander F. Tulai, Franz Oppacher
GI
2004
Springer
16 years 14 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
GRID
2004
Springer
16 years 14 days ago
Design and Analysis of a Dynamic Scheduling Strategy with Resource Estimation for Large-Scale Grid Systems
In this paper, we present a resource conscious dynamic scheduling strategy for handling large volume computationally intensive loads in a Grid system involving multiple sources an...
Sivakumar Viswanathan, Bharadwaj Veeravalli, Danto...
« Prev « First page 2646 / 3238 Last » Next »