9931 search results - page 197 / 1987 » Generative Modeling by PRISM |
111
Voted
GMP
2002
IEEE
15 years 8 months ago
2002
IEEE
We present an algorithm for computing Minkowski sums among surfaces of revolution and surfaces of linear extrusion, generated by slope-monotone closed curves. The special structur...
123
Voted
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
We study the effectiveness of functional tests for full scan circuits. Functional tests are important for design validation, and they potentially have a high defect coverage indep...
118
Voted
HPCN
1999
Springer
15 years 8 months ago
1999
Springer
Finding knowledge from vast quantities of data is a difficult task, made simpler by visually representing this information. The Internet can be considered a vast (global) database,...
106
Voted
DAC
1997
ACM
15 years 8 months ago
1997
ACM
We present a novel technique CLIP for optimizing both the height and width of CMOS cell layouts in the two-dimensional (2D) style. CLIP is based on integer-linear programming (ILP...
126
Voted
FATES
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...