Sciweavers

2211 search results - page 272 / 443
» The state of peer-to-peer simulators and simulations
Sort
View
WDAG
2005
Springer
90views Algorithms» more  WDAG 2005»
15 years 12 months ago
Proving Atomicity: An Assertional Approach
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Jos...
ATAL
2004
Springer
15 years 12 months ago
An Intent-Driven Planner for Multi-Agent Story Generation
The ability to generate narrative is of importance to computer systems that wish to use story effectively for entertainment, training, or education. We identify two properties of ...
Mark O. Riedl, R. Michael Young
PATMOS
2004
Springer
15 years 11 months ago
Sleepy Stack Reduction of Leakage Power
Leakage power consumption of current CMOS technology is already a great challenge. ITRS projects that leakage power consumption may come to dominate total chip power consumption as...
Jun-Cheol Park, Vincent John Mooney III, Philipp P...
SOFSEM
2004
Springer
15 years 11 months ago
Approaches Based on Markovian Architectural Bias in Recurrent Neural Networks
Recent studies show that state-space dynamics of randomly initialized recurrent neural network (RNN) has interesting and potentially useful properties even without training. More p...
Matej Makula, Michal Cernanský, Lubica Benu...
LICS
2003
IEEE
15 years 11 months ago
Labelled Markov Processes: Stronger and Faster Approximations
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
Vincent Danos, Josee Desharnais