426 search results - page 55 / 86 » Possibilistic Stable Model Computing |
ICNP
2005
IEEE
14 years 1 months ago
2005
IEEE
Border Gateway Protocol (BGP) is the de facto standard used for interdomain routing. Since packet forwarding may not be possible until stable routes are learned, it is not only cr...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— We present a method for computing controllers for stable planar-biped walking gaits that follow a particular style. The desired style is specified with a kinematic target traj...
ECP
1997
Springer
13 years 12 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...
MASCOTS
2008
13 years 9 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...
CORR
2002
Springer
13 years 7 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...