21430 search results - page 357 / 4286 » Abstract Effective Models |
198
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
158
click to vote
RT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we show how Metropolis Light Transport can be extended both in the underlying theoretical framework and the algorithmic implementation to incorporate volume...
188
Voted
DAC
1995
ACM
15 years 10 months ago
1995
ACM
Abstract—With delays due to the physical interconnect dominating the overall logic path delays, circuit-level delay optimization must take interconnect effects into account. Inst...
193
click to vote
EDM
2008
15 years 8 months ago
2008
Abstract. Discovering knowledge from raw data is one of the goals of data mining. Yet, it is not always clear how this knowledge is used in educational computing systems and how ex...
204
click to vote
IPCV
2008
15 years 8 months ago
2008
Abstract - A robust method for symbol recognition is presented that utilizes a compact signature based on a modified Hough Transform (HT) and knowledge-based hierarchical neural ne...