6438 search results - page 1052 / 1288 » A Parameterised Search System |
150
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Clustering (or partitioning) is a crucial step between logic synthesis and physical design in the layout of a large scale design. A design verified at the logic synthesis level m...
167
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
As current silicon-based techniques fast approach their practical limits, the investigation of nanoscale electronics, devices and system architectures becomes a central research p...
175
click to vote
MMM
2009
Springer
16 years 3 months ago
2009
Springer
In this paper, a novel framework is developed to support personalized news video recommendation. First, multi-modal information sources for news videos are seamlessly integrated an...
181
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Today, a huge amount of text is being generated for social purposes on social networking services on the Web. Unlike traditional documents, such text is usually extremely short an...
174
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...