9359 search results - page 753 / 1872 » Generalization Algorithms for Second-Order Terms |
190
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
221
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
: Due to exponential increase in subthreshold leakage with technology scaling and temperature increase, leakage power is becoming a major fraction of total power in the active mode...
198
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Using and extending a framework is a challenging task whose difficulty is exacerbated by the poor documentation that generally comes with the framework. Even in the presence of do...
198
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
Web 2.0 technologies have enabled more and more people to freely comment on different kinds of entities (e.g. sellers, products, services). The large scale of information poses th...
204
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
Social annotations on a Web document are highly generalized description of topics contained in that page. Their tagged frequency indicates the user attentions with various degrees...