874 search results - page 116 / 175 » Computing Weighted Solutions in Answer Set Programming |
152
Voted
DAC
2012
ACM
13 years 5 months ago
2012
ACM
Improving detailed routing routability is an important objective of a global router. In this paper, we propose GDRouter, an interleaved global routing and detailed routing algorit...
150
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
Chemical-mechanical planarization (CMP) and other manufacturing steps in very deep-submicron VLSI have varying effects on device and interconnect features, depending on the local ...
159
Voted
ILP
2007
Springer
15 years 8 months ago
2007
Springer
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...
115
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— High power dissipation in packet switches and routers is fast turning into a key problem, owing to increasing line speeds and decreasing chip sizes. To address this issue, we i...
128
Voted
AMAI
1999
Springer
15 years 2 months ago
1999
Springer
Temporal Constraint Satisfaction Problems (TCSP) is a well known approach for representing and processing temporal knowledge. Important properties of the knowledge can be inferred...