3690 search results - page 157 / 738 » Computation with classical sequents |
82
Voted
DAC
1999
ACM
16 years 1 months ago
1999
ACM
- Closed form solutions for the 50% delay, rise time, overshoots, and settling time of signals in an RLC tree are presented. These solutions have the same accuracy characteristics ...
78
Voted
DAC
1999
ACM
16 years 1 months ago
1999
ACM
The concept of improving the timing behavior of a circuit by relocating registers is called retiming and was first presented by Leiserson and Saxe. They showed that the problem of...
151
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...
104
click to vote
KDD
2008
ACM
16 years 29 days ago
2008
ACM
Classic mixture models assume that the prevalence of the various mixture components is fixed and does not vary over time. This presents problems for applications where the goal is...
102
click to vote
AVSS
2009
IEEE
15 years 7 months ago
2009
IEEE
— Classical tracking methods are often insufficient when dealing with complex scenarios. In order to solve tracking errors, innovative techniques based on the use of information ...