Sciweavers

12148 search results - page 350 / 2430
» Generalized Bundle Methods
Sort
View
231
Voted
FTRTFT
1992
Springer
15 years 11 months ago
Specification and Verification of Real-Time Behaviour Using Z and RTL
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
Colin J. Fidge
CLASSIFICATION
2008
111views more  CLASSIFICATION 2008»
15 years 7 months ago
Probabilistic D-Clustering
: We present a new iterative method for probabilistic clustering of data. Given clusters, their centers and the distances of data points from these centers, the probability of clus...
Adi Ben-Israel, Cem Iyigun
CCR
2007
119views more  CCR 2007»
15 years 7 months ago
How to read a paper
Researchers spend a great deal of time reading research papers. However, this skill is rarely taught, leading to much wasted effort. This article outlines a practical and efficie...
S. Keshav
141
Voted
NA
2008
75views more  NA 2008»
15 years 7 months ago
Fourier series and the Lubkin W-transform
We discuss the effect of a particular sequence acceleration method, the Lubkin W-transform, on the partial sums of Fourier series. We consider a very general class of functions wit...
A. Jason Boggess, B. Eric Bunch, C. Charles N. Moo...
MOC
2000
86views more  MOC 2000»
15 years 7 months ago
Numerical algorithms for semilinear parabolic equations with small parameter based on approximation of stochastic equations
The probabilistic approach is used for constructing special layer methods to solve the Cauchy problem for semilinear parabolic equations with small parameter. Despite their probabi...
G. N. Milstein, M. V. Tretyakov