5634 search results - page 134 / 1127 » About Abstract Classes |
241
Voted
POPL
2008
ACM
16 years 4 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 ...
116
Voted
KR
2010
Springer
15 years 8 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...
164
Voted
ASP
2003
Springer
15 years 9 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...
117
Voted
GPCE
2003
Springer
15 years 9 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...
115
Voted
EUROGP
2004
Springer
15 years 9 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.