411 search results - page 8 / 83 » Automating the Dependency Pair Method |
KBSE
2000
IEEE
14 years 2 months ago
2000
IEEE
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...
EJASP
2010
13 years 4 months ago
2010
In this work we propose a fully automated active contours based method for the detection and the segmentation of a moored manufactured object in an underwater image. Detection of o...
AAAI
1992
13 years 10 months ago
1992
Effective problem-solving about complex engineered devices requires device models that are both adequate for the problem and computationally efficient . Producing such models requ...
LOPSTR
2004
Springer
14 years 3 months ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
ENTCS
2007
13 years 9 months ago
2007
The dependency pairs method is one of the most powerful technique for proving termination of rewriting and it is currently central in most automatic termination provers. Recently,...