9359 search results - page 693 / 1872 » Generalization Algorithms for Second-Order Terms |
178
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
Physical phenomena such as temperature have an increasingly important role in performance and reliability of modern process technologies. This trend will only strengthen with futu...
263
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
138
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
Antenna effect may damage gate oxides during plasma-based fabrication process. The antenna ratio of total exposed antenna area to total gate oxide area is directly related to the ...
192
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
SAT sweeping is a method for simplifying an AND/INVERTER graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural...
215
Voted
WWW
2009
ACM
16 years 8 months ago
2009
ACM
A pressing task during the unification process is to identify a user's vertical search intention based on the user's query. In this paper, we propose a novel method to p...