Sciweavers

11462 search results - page 156 / 2293
» Developing Application-Centric Methods
Sort
View
133
Voted
AMC
2008
157views more  AMC 2008»
15 years 3 months ago
On Popovski's method for nonlinear equations
ct 7 Two different modifications of Popovski's method are developed, both are free of second derivatives. In the first mod8 ified scheme we traded the second derivative by an ...
B. Neta
109
Voted
TSMC
2008
113views more  TSMC 2008»
15 years 3 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
JMLR
2010
225views more  JMLR 2010»
14 years 10 months 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
137
Voted
ICASSP
2011
IEEE
14 years 7 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...
EMSOFT
2009
Springer
15 years 10 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele