Sciweavers

4403 search results - page 48 / 881
» Galois Theory of Algorithms
Sort
View
FSKD
2005
Springer
94views Fuzzy Logic» more  FSKD 2005»
15 years 11 months ago
Incremental Target Recognition Algorithm Based on Improved Discernibility Matrix
Abstract. An incremental target recognition algorithm based on improved discernibility matrix in rough set theory is presented. Some comparable experiments have been completed in o...
Yong Liu, Congfu Xu, Zhiyong Yan, Yunhe Pan
AMC
2007
116views more  AMC 2007»
15 years 6 months ago
Convergence of HLS estimation algorithms for multivariable ARX-like systems
A hierarchical least squares (HLS) algorithm is derived in details for identifying MIMO ARX-like systems based on the hierarchical identification principle. It is shown that the ...
Lingyun Wang, Feng Ding, Peter X. Liu
FOCM
2006
87views more  FOCM 2006»
15 years 6 months ago
Index Pairs Algorithms
We introduce some modifications and extensions of the concept od index pair in the Conley index theory. We then show how these concepts may be used to overcome some difficulties in...
Marian Mrozek
DC
2000
15 years 5 months ago
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
Anna Pogosyants, Roberto Segala, Nancy A. Lynch
AIMSA
1990
Springer
15 years 10 months ago
Compilation of Recursive Two-Literal Clauses into Unification Algorithms
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...
Hans Jürgen Ohlbach