Sciweavers

15792 search results - page 111 / 3159
» Computational Abstraction Steps
Sort
View
EUROPAR
2007
Springer
15 years 9 months ago
Modeling and Validating the Performance of Atomic Broadcast Algorithms in High Latency Networks
Abstract. The performance of consensus and atomic broadcast algorithms using failure detectors is often affected by a trade-off between the number of communication steps and the ...
Richard Ekwall, André Schiper
130
Voted
CIS
2005
Springer
15 years 9 months ago
Training Multi-layer Perceptrons Using MiniMin Approach
Abstract. Multi-layer perceptrons (MLPs) have been widely used in classification and regression task. How to improve the training speed of MLPs has been an interesting field of res...
Liefeng Bo, Ling Wang, Licheng Jiao
198
Voted
CALCO
2011
Springer
223views Mathematics» more  CALCO 2011»
14 years 3 months ago
On the Statistical Thermodynamics of Reversible Communicating Processes
Abstract. We propose a probabilistic interpretation of a class of reversible communicating processes. The rate of forward and backward computing steps, instead of being given expli...
Giorgio Bacci, Vincent Danos, Ohad Kammar
106
Voted
SIGGRAPH
1990
ACM
15 years 7 months ago
Paint by numbers: abstract image representations
Numbers: AbstractImageRepresentations Paul Haeberli Silicon Graphics Computer Systems Computer graphics research has concentrated on creating photo-realistic images of synthetic o...
Paul Haeberli
131
Voted
SAC
2008
ACM
15 years 3 months ago
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
s: A Weakly Relational Abstract Domain for the Efficient Validation of Array Accesses Francesco Logozzo Microsoft Research, Redmond, WA, USA Manuel F
Francesco Logozzo, Manuel Fähndrich