4485 search results - page 188 / 897 » Equivalences on Observable Processes |
133
click to vote
ENTCS
2006
15 years 3 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
111
click to vote
SCL
2008
15 years 3 months ago
2008
Nuclearity of the Hankel operator is a known sufficient condition for convergence of Lyapunov-balanced truncations. We show how a previous result on nuclearity of Hankel operators...
138
Voted
PR
2000
15 years 3 months ago
2000
Based on the observation that rough sets and mathematical morphology are both using dual operators sharing similar properties, we investigate more closely the links existing betwe...
110
Voted
NECO
2002
15 years 3 months ago
2002
We present a novel approach to dealing with overfitting in black-box models. It is based on the leverages of the samples, i.e. on the influence that each observation has on the pa...
116
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The literature on compressed sensing has focused almost entirely on settings where the signal is noiseless and the measurements are contaminated by noise. In practice, however, th...