4502 search results - page 503 / 901 » Regular Model Checking |
123
click to vote
IWANN
2007
Springer
16 years 29 days ago
2007
Springer
The residual variance estimation problem is well-known in statistics and machine learning with many applications for example in the field of nonlinear modelling. In this paper, we...
183
click to vote
PDP
2003
IEEE
16 years 2 days ago
2003
IEEE
Coupling grid applications developed by different teams requires code modification and high S/W engineering effort. In the Ensemble methodology message passing components are deve...
159
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
1 The problem of sorting an intransitive total ordered set, a generalization of regular sorting, is considered. This generalized sorting is based on the fact that there exists a s...
173
click to vote
SSIAI
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a modulation domain technique for segmenting textured images modeled as 2-D multicomponent AMFM functions. A Gabor filterbank is used to derive estimates of the domina...
186
click to vote
EUROPAR
2000
Springer
15 years 10 months ago
2000
Springer
A hybrid approach that utilizes both statistical techniques and empirical methods seeks to provide more information about the performance of an application. In this paper, we prese...