Sciweavers

14078 search results - page 386 / 2816
» Design and Analysis of Computer Algorithms
Sort
View
ANTSW
2010
Springer
15 years 4 months ago
Formal Verification of Probabilistic Swarm Behaviours
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
Savas Konur, Clare Dixon, Michael Fisher
DAC
2008
ACM
16 years 7 months ago
Functional test selection based on unsupervised support vector analysis
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Fo...
IROS
2008
IEEE
141views Robotics» more  IROS 2008»
16 years 1 months ago
Geometrical workspace analysis of a cable-driven redundant parallel manipulator: KNTU CDRPM
— KNTU CDRPM is a cable driven redundant parallel manipulator, which is under investigation for possible high speed and large workspace applications. This newly developed mechani...
Mohammad M. Aref, Hamid D. Taghirad
FLAIRS
2001
15 years 8 months ago
Time Series Analysis Using Unsupervised Construction of Hierarchical Classifiers
Recently we have proposed an algorithm of constructing hierarchical neural network classifiers (HNNC), that is based on a modification of error back-propagation. This algorithm co...
S. A. Dolenko, Yu. V. Orlov, I. G. Persiantsev, Ju...
CRYPTO
1992
Springer
154views Cryptology» more  CRYPTO 1992»
15 years 11 months ago
Massively Parallel Computation of Discrete Logarithms
Numerous cryptosystems have been designed to be secure under the assumption that the computation of discrete logarithms is infeasible. This paper reports on an aggressive attempt ...
Daniel M. Gordon, Kevin S. McCurley