Sciweavers

51 search results - page 5 / 11
» How slow is the k-means method
Sort
View
116
Voted
FMCAD
2004
Springer
15 years 4 months ago
Bloom Filters in Probabilistic Verification
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
Peter C. Dillinger, Panagiotis Manolios
92
Voted
JCP
2008
121views more  JCP 2008»
15 years 23 days ago
Relation Organization of SOM Initial Map by Improved Node Exchange
The Self Organizing Map (SOM) involves neural networks, that learns the features of input data thorough unsupervised, competitive neighborhood learning. In the SOM learning algorit...
Tsutomu Miyoshi
OL
2011
332views Neural Networks» more  OL 2011»
14 years 7 months ago
A robust implementation of a sequential quadratic programming algorithm with successive error restoration
We consider sequential quadratic programming (SQP) methods for solving constrained nonlinear programming problems. It is generally believed that SQP methods are sensitive to the a...
Klaus Schittkowski
89
Voted
AUTOMATICA
2008
96views more  AUTOMATICA 2008»
15 years 27 days ago
Nonlinear gliding stability and control for vehicles with hydrodynamic forcing
This paper presents Lyapunov functions for proving stability of steady gliding motions for vehicles with hydrodynamic or aerodynamic forces and moments. Because of lifting forces ...
Pradeep Bhatta, Naomi Ehrich Leonard
IACR
2011
113views more  IACR 2011»
14 years 13 days ago
Fully Homomorphic SIMD Operations
At PKC 2010 Smart and Vercauteren presented a variant of Gentry’s fully homomorphic public key encryption scheme and mentioned that the scheme could support SIMD style operations...
Nigel P. Smart, Frederik Vercauteren