Sciweavers

1690 search results - page 73 / 338
» Algorithmic Properties of Millstream Systems
Sort
View
ICALP
2000
Springer
15 years 7 months ago
Average Bit-Complexity of Euclidean Algorithms
Abstract. We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms,...
Ali Akhavi, Brigitte Vallée
EUSFLAT
2003
121views Fuzzy Logic» more  EUSFLAT 2003»
15 years 5 months ago
An adaptive learning algorithm for a neo fuzzy neuron
In the paper, a new optimal learning algorithm for a neo-fuzzy neuron (NFN) is proposed. The algorithm is characteristic in that it provides online tuning of not only the synaptic...
Yevgeniy Bodyanskiy, Illya Kokshenev, Vitaliy Kolo...
SIAMSC
2010
198views more  SIAMSC 2010»
15 years 2 months ago
Analysis of Block Parareal Preconditioners for Parabolic Optimal Control Problems
In this paper, we describe block matrix algorithms for the iterative solution of large scale linear-quadratic optimal control problems arising from the optimal control of parabolic...
Tarek P. Mathew, Marcus Sarkis, Christian E. Schae...
134
Voted
FORTE
2003
15 years 5 months ago
Generation of All Counter-Examples for Push-Down Systems
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott ...
CLIMA
2010
15 years 5 months ago
Finding Uniform Strategies for Multi-agent Systems
We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomp...
Jan Calta, Dmitry Shkatov, Bernd-Holger Schlinglof...