2333 search results - page 297 / 467 » Recursive Computational Depth |
LOGCOM
2010
15 years 22 days 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...
129
Voted
FSTTCS
2010
Springer
15 years 9 days 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...
142
Voted
LICS
2010
IEEE
15 years 6 days 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...
108
click to vote
ICASSP
2009
IEEE
15 years 1 days 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...
129
Voted
DATE
2010
IEEE
14 years 11 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 ...