Sciweavers

6693 search results - page 230 / 1339
» On an anytime algorithm for control
Sort
View
TCOS
2008
15 years 5 months ago
On Reduct Construction Algorithms
This paper critically analyzes reduct construction methods evels. At a high level, one can abstract commonalities from the existing algorithms, and classify them into three basic g...
Yiyu Yao, Yan Zhao, Jue Wang
ADBIS
1997
Springer
149views Database» more  ADBIS 1997»
15 years 10 months ago
Concurrency Control Protocol for Nested Transactions in Real-Time Databases
In this paper we consider real-time concurrency control for the nested transaction model. We analyze problems that have pure optimistic and pessimistic approaches. As the solution...
Ekaterina Pavlova, Igor Nekrestyanov
ICA
2004
Springer
15 years 11 months ago
Accurate, Fast and Stable Denoising Source Separation Algorithms
Abstract. Denoising source separation is a recently introduced framework for building source separation algorithms around denoising procedures. Two developments are reported here. ...
Harri Valpola, Jaakko Särelä
FM
1999
Springer
126views Formal Methods» more  FM 1999»
15 years 10 months ago
Correctness Proof of the Standardized Algorithm for ABR Conformance
Conformance control for ATM cells is based on a real-time reactive algorithm which delivers a value depending on inputs from the network. This value must always agree with a well d...
Jean-François Monin, Francis Klay
GECCO
2004
Springer
15 years 11 months ago
Modeling Selection Intensity for Toroidal Cellular Evolutionary Algorithms
We present quantitative models for the selection pressure of cellular evolutionary algorithms structured in two dimensional regular lattices. We derive models based on probabilisti...
Mario Giacobini, Enrique Alba, Andrea Tettamanzi, ...