2911 search results - page 343 / 583 » A Logic of Graph Constraints |
168
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper proposes a yield optimization method for standard-cells under timing constraints. Yield-aware logic synthesis and physical optimization require yield-enhanced standard ...
183
click to vote
ASYNC
2005
IEEE
16 years 6 days ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
158
click to vote
ICLP
2004
Springer
15 years 12 months ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
149
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
For the last ten years, a significant amount of work in the constraint community has been devoted to the improvement of complete methods for solving soft constraints networks. We ...
177
click to vote
IJCAI
2003
15 years 8 months ago
2003
This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model by specifying the characters involved in the scenario, the sub-sce...