4586 search results - page 323 / 918 » Computing stable models in parallel |
157
click to vote
ECP
1997
Springer
15 years 8 months ago
1997
Springer
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
139
click to vote
MASCOTS
2008
15 years 6 months ago
2008
In this paper we present a centralized flow control scheme in NoCs in the presence of both elastic and streaming flow traffic paradigms. We model the desired Best Effort (BE) sour...
131
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
Abstract. Logic Programming paradigms that allow for expressing preferences have drawn a lot of research interest over the last years. Among them, the principle of ordered disjunct...
108
click to vote
TOG
2002
15 years 4 months ago
2002
This paper describes a new method for contouring a signed grid whose edges are tagged by Hermite data (i.e; exact intersection points and normals). This method avoids the need to ...
142
click to vote
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...