256 search results - page 16 / 52 » Timing Verification by Successive Approximation |
CHI
2000
ACM
15 years 4 months ago
2000
ACM
We can reliably build “second generation” intelligent computer tutors that are approximately half as effective as human tutors. This paper evaluates two interface enhancements...
IJON
2007
14 years 11 months ago
2007
In this paper, a global methodology for the long-term prediction of time series is proposed. This methodology combines direct prediction strategy and sophisticated input selection...
108
click to vote
IJFCS
2006
14 years 11 months ago
2006
Music sequences can be treated as texts in order to perform music retrieval tasks on them. However, the text search problems that result from this modeling are unique to music retr...
95
Voted
ICCD
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper describes XTalkDelay, an industrial-strength methodology and tool for measuring the impact of crosstalk on delays of paths in a design. The main cornerstone of XTalkDel...
DATE
2000
IEEE
15 years 4 months ago
2000
IEEE
In this paper, we introduce a discrete-time model for the complete power supply sub-system that closely approximates the behavior of its circuit-level (i.e., HSpice), continuous-t...