6554 search results - page 13 / 1311 » Constraint Logic Programming |
RE
2001
Springer
15 years 1 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
ACL
1998
14 years 10 months ago
1998
This paper reports a pilot study, in which Constraint Grammar inspiredruleswere learnt using the Progol machine-learning system. Rules discarding faulty readings of ambiguously ta...
ICLP
2007
Springer
15 years 3 months ago
2007
Springer
ICLP
2007
Springer
15 years 3 months ago
2007
Springer
ISMB
1994
14 years 10 months ago
1994
Apilot program,CME,is describedfor generatinga physical genetic mapfromhybridization fingerprintingdata. CMEis implementedin the parallel constraint logic programming language Eli...