4166 search results - page 483 / 834 » Automating the constraining process |
178
click to vote
LICS
1993
IEEE
15 years 9 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
135
click to vote
EWCBR
1993
Springer
15 years 9 months ago
1993
Springer
This paper presents a novel approach to determine structural similarity as guidance for adaptation in case-based reasoning (Cbr). We advance structural similarity assessment which ...
138
click to vote
ICLP
1993
Springer
15 years 9 months ago
1993
Springer
nt an abstract instruction set for a constraint solver over finite domains, which can be smoothly integrated in the WAM architecture. It is based on the use of a single primitive...
128
click to vote
KR
1994
Springer
15 years 9 months ago
1994
Springer
A key problem in case-based reasoning is the representation, organization and maintenance of case libraries. While current approaches rely on heuristic and psychologically inspire...
155
click to vote
KR
1992
Springer
15 years 9 months ago
1992
Springer
While the task of answering queries from an arbitrary propositional theory is intractable in general, it can typicallybe performed e ciently if the theory is Horn. This suggests t...