1902 search results - page 94 / 381 » Differential Dynamic Logics |
153
click to vote
FTCS
1994
15 years 6 months ago
1994
This paper examines architectural techniques for providing concurrent error detection in self-timed VLSI pipelines. Signal pairs from Differential Cascode Voltage Switch Logic are...
156
click to vote
ICDAR
2009
IEEE
15 years 3 months ago
2009
IEEE
In today's world, form processing systems must be able to recognize mutant forms that appear to be based on differing templates but are actually only a variation of the origi...
206
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
This paper presents a novel approach for the synthesis of dynamic CMOS circuits using Domino and Nora styles. As these logic styles can implement only non-inverting logic, convent...
167
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
156
click to vote
AUTOMATICA
2008
15 years 5 months ago
2008
This paper introduces appropriate concepts of input-to-state stability (ISS) and integral-ISS for impulsive systems, i.e., dynamical systems that evolve according to ordinary diff...