3342 search results - page 191 / 669 » Automating Abstract Interpretation |
LOPSTR
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible se...
ICLP
1995
Springer
15 years 2 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
NN
1998
Springer
14 years 11 months ago
1998
Springer
Abstract— This paper presents a study on exploiting the redundancy of a seven-link manipulator to evolve obstacle avoidance skill at the elbow, subjected to endeffector working ...
132
click to vote
NOTERE
2010
14 years 9 months ago
2010
Abstract—An approach is presented for flexible support of devices in smart homes, meeting the needs of both home automation and telecare. Device services are introduced as a gen...