2128 search results - page 194 / 426 » A general characterization of indulgence |
144
click to vote
SLP
1989
15 years 7 months ago
1989
Two main aspects of Partial Evaluation for Prolog programs are considered: treatment of cuts and control of recursion. The analysis about cut is exhaustive: we consider occurrence...
180
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Safety culture is broadly recognized as important for Air Traffic Management and various studies have addressed its characterization and assessment. Nevertheless, relations betwee...
141
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We introduce a constrained mechanism design setting called internal implementation, in which the mechanism designer is explicitly modeled as a player in the game of interest. This...
172
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
206
click to vote
CCCG
2009
15 years 7 months ago
2009
In this paper we study the problem of computing an upward straight-line embedding of a directed graph G into a point set S, i.e. a planar drawing of G such that each vertex is map...