6554 search results - page 134 / 1311 » Constraint Logic Programming |
174
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
184
click to vote
MIDDLEWARE
2007
Springer
16 years 14 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
161
click to vote
DATE
2006
IEEE
16 years 11 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 ...
140
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 ...
187
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...