2128 search results - page 127 / 426 » A general characterization of indulgence |
138
click to vote
ICLP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...
121
click to vote
ASP
2001
Springer
15 years 9 months ago
2001
Springer
This workpresents a newlogical characterization of well foundedsemanticsthat provides, as interesting innovation, a fully semantic-oriented treatment of programconnectives without...
138
click to vote
LICS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...
216
click to vote
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents a general method for computing transient sensitivities using both the direct and adjoint methods in event driven controlled explicit simulation algorithms that...
144
click to vote
ICIAP
1999
ACM
15 years 9 months ago
1999
ACM
In this paper, a new deformable contour method derived from a constrained contour energy minimization framework is presented. By imposing a constraint of region, which can be any ...