437 search results - page 23 / 88 » Automatic Generation of Implied Constraints |
VMCAI
2009
Springer
14 years 3 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...
IJCAI
1993
13 years 9 months ago
1993
In this paper we present a technique for automatically generating constraints on parameter derivatives that reduce ambiguity in the behaviour prediction. Starting with a behaviour...
FLAIRS
2004
13 years 9 months ago
2004
What makes a good consistency ? Depending on the constraint, it may be a good pruning power or a low computational cost. By "weakening" arc-consistency, we propose to de...
BIBE
2007
IEEE
13 years 10 months ago
2007
IEEE
—In this paper, we have modified a constrained clustering algorithm to perform exploratory analysis on gene expression data using prior knowledge presented in the form of constr...
AAAI
1997
13 years 9 months ago
1997
To effectively generate a fast and consistent apartment construction project network, Hyundai and KAIST have developed a case and constraint based project planning expert system f...