86 search results - page 10 / 18 » Automatic Generation of Propagation Rules for Finite Domains |
ENTCS
2008
13 years 7 months ago
2008
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...
VL
1992
IEEE
13 years 11 months ago
1992
IEEE
If future electronic documents are to be truly useful, we must devise ways to automatically turn them into knowledgebases. In particular, we must be able to do this for diagrams. ...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we propose an integrated error resilient MDC scheme for wireless networks with both packet loss and random bit errors. Two descriptions are first generated independ...
KBSE
1999
IEEE
13 years 11 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
ISMB
1993
13 years 8 months ago
1993
Thoughit has been possible in the past to learn to predict DNAhydration patterns from crystallographic data, there is ambiguity in the choice of training data (both in terms of th...