1174 search results - page 159 / 235 » Derivation of Characteristic Formulae |
174
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Speech enhancement and separation algorithms frequently employ two-stage processing schemes, where the signal is first mapped to an intermediate low-dimensional parametric descri...
159
click to vote
CPHYSICS
2007
15 years 6 months ago
2007
In the context of the analysis of measured data, one is often faced with the task to differentiate data numerically. Typically, this occurs when measured data are concerned or dat...
169
click to vote
JSYML
2000
15 years 6 months ago
2000
The notion of a D-ring, generalizing that of a differential or a difference ring, is introduced. Quantifier elimination and a version of the AxKochen-Ershov principle is proven for...
217
click to vote
ICFEM
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
139
click to vote
ACSC
2006
IEEE
16 years 13 days ago
2006
IEEE
Modern computer networks contain an amalgamation of devices and technologies, with the performance exhibited by each central to digital communications. Varieties of methods exist ...