1325 search results - page 72 / 265 » An Approach to Generation of Decision Rules |
175
click to vote
CSCLP
2005
Springer
15 years 12 months ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
151
click to vote
SEFM
2003
IEEE
15 years 11 months ago
2003
IEEE
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
162
click to vote
ENTCS
2007
15 years 6 months ago
2007
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...
142
click to vote
WLP
2005
Springer
15 years 11 months ago
2005
Springer
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
148
click to vote
IJVR
2008
15 years 6 months ago
2008
In facility agriculture, it is an urgent problem to design and choose the type and facility of greenhouse based on user's requirements, which are always difficult to express c...