472 search results - page 52 / 95 » Limiting Negations in Formulas |
KBSE
2009
IEEE
14 years 5 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
MFCS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
ATMN
1997
13 years 11 months ago
1997
In this paper we study the correlation structure of the output process of an ATM multiplexer. We consider two special cases : (i) the output process of the D-BMAP/D/1/N queue, a g...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We consider the problem of learning a coefficient vector x0 ∈ RN from noisy linear observation y = Ax0 + w ∈ Rn . In many contexts (ranging from model selection to image proce...
KDD
2009
ACM
14 years 11 months ago
2009
ACM
Classification of time series has been attracting great interest over the past decade. Recent empirical evidence has strongly suggested that the simple nearest neighbor algorithm ...