Sciweavers

4485 search results - page 123 / 897
» Equivalences on Observable Processes
Sort
View
FCT
2007
Springer
14 years 1 months ago
Local Testing of Message Sequence Charts Is Difficult
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...
Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. N...
MA
2010
Springer
140views Communications» more  MA 2010»
13 years 8 months ago
On the limiting spectral distribution of the covariance matrices of time-lagged processes
We consider two continuous-time Gaussian processes, one being partially correlated to a time-lagged version of the other. We first give the limiting spectral distribution for the ...
Christian Y. Robert, Mathieu Rosenbaum
HIS
2008
13 years 11 months ago
A Sequential Learning Resource Allocation Network for Image Processing Applications
Online adaptation is a key requirement for image processing applications when used in dynamic environments. In contrast to batch learning, where retraining is required each time a...
Stefan Wildermann, Jürgen Teich
PSB
2004
13 years 11 months ago
Modeling Cellular Processes with Variational Bayesian Cooperative Vector Quantizer
Gene expression of a cell is controlled by sophisticated cellular processes. The capability of inferring the states of these cellular processes would provide insight into the mech...
Xinghua Lu, Milos Hauskrecht, Roger S. Day
CSDA
2007
108views more  CSDA 2007»
13 years 10 months ago
Diagnostics for functional regression via residual processes
We develop regression diagnostics for functional regression models which relate a functional response to predictor variables that can be multivariate vectors or random functions. ...
Jeng-Min Chiou, Hans-Georg Müller