5634 search results - page 134 / 1127 » About Abstract Classes |
197
click to vote
POPL
2008
ACM
15 years 11 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
77
Voted
KR
2010
Springer
15 years 4 months ago
2010
Springer
We consider positive rules in which the conclusion may contain existentially quantified variables, which makes reasoning tasks (such as Deduction) undecidable. These rules have t...
107
Voted
ASP
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. We define a translation of aggregate programs to normal logic programs which preserves the set of partial stable models. We then define the classes of definite and str...
GPCE
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Design patterns have been a useful tool for a better understanding of the collaboration between several classes and objects in a program. One drawback of this approach is...
EUROGP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper we consider a new class of search and optimization algorithms inspired by molecular dynamics simulations in physics.