Sciweavers

11973 search results - page 233 / 2395
» Methods for organizational development
Sort
View
138
Voted
TSMC
2008
113views more  TSMC 2008»
15 years 6 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
MOC
1998
67views more  MOC 1998»
15 years 5 months ago
A negative-norm least squares method for Reissner-Mindlin plates
In this paper a least squares method, using the minus one norm developed by Bramble, Lazarov, and Pasciak, is introduced to approximate the solution of the Reissner-Mindlin plate p...
James H. Bramble, Tong Sun
151
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby
169
Voted
JMLR
2010
225views more  JMLR 2010»
15 years 28 days ago
Hartigan's Method: k-means Clustering without Voronoi
Hartigan's method for k-means clustering is the following greedy heuristic: select a point, and optimally reassign it. This paper develops two other formulations of the heuri...
Matus Telgarsky, Andrea Vattani
171
Voted
ICASSP
2011
IEEE
14 years 10 months ago
Regularized split gradient method for nonnegative matrix factorization
This article deals with a regularized version of the split gradient method (SGM), leading to multiplicative algorithms. The proposed algorithm is available for the optimization of...
Henri Lantéri, Céline Theys, C&eacut...