411 search results - page 9 / 83 » Automating the Dependency Pair Method |
BMCBI
2006
13 years 9 months ago
2006
Background: Non-coding DNA sequences comprise a very large proportion of the total genomic content of mammals, most other vertebrates, many invertebrates, and most plants. Unravel...
BIBE
2004
IEEE
14 years 1 months ago
2004
IEEE
Current motif discovery methods can only detect individual motifs in groups of protein sequences--they do not discover potentially-interacting motif pairs underlying the interacti...
CSL
2000
Springer
14 years 2 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
LOPSTR
2007
Springer
14 years 3 months ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
RECOSOC
2007
13 years 11 months ago
2007
Nowadays, reconfigurable and multiprocessor systems are becoming increasingly attractive for many applications. Such systems should be more and more dependable especially if error...