2333 search results - page 297 / 467 » Recursive Computational Depth |
LOGCOM
2010
13 years 6 months ago
2010
The notion of warrant or justification is one of the central concepts in formal models of argumentation. The dialectical definition of warrant is expressed in terms of recursive...
FSTTCS
2010
Springer
13 years 6 months ago
2010
Springer
Reachability and boundedness problems have been shown decidable for Vector Addition Systems with one zero-test. Surprisingly, place-boundedness remained open. We provide here a va...
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
ICASSP
2009
IEEE
13 years 6 months ago
2009
IEEE
Digital compensation of nonlinear systems is an important topic in many practical applications. This paper considers the problem of predistortion of nonlinear systems described us...
DATE
2010
IEEE
13 years 5 months ago
2010
IEEE
Probabilistic CMOS is considered a promising technology for future generations of computing devices. By embracing possibly incorrect calculations, the technology makes it possible ...