1795 search results - page 237 / 359 » On the Complexity of Circuit Satisfiability |
119
Voted
TIP
2010
14 years 7 months ago
2010
In 1964 Edwin H. Land formulated the Retinex theory, the first attempt to simulate and explain how the human visual system perceives color. His theory and an extension, the "r...
94
Voted
DAC
2007
ACM
16 years 1 months ago
2007
ACM
The flip-chip package provides a high chip-density solution to the demand for more I/O pads of VLSI designs. In this paper, we present the first routing algorithm in the literatur...
113
click to vote
KDD
2006
ACM
16 years 1 months ago
2006
ACM
Visitors enter a website through a variety of means, including web searches, links from other sites, and personal bookmarks. In some cases the first page loaded satisfies the visi...
100
click to vote
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...
109
Voted
CP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Alcatel-Lucent is a major player in the eld of telecommunications. One of the products it oers to network operators is wireless infrastructure such as base stations. Su...