1022 search results - page 176 / 205 » Stable models and circumscription |
ICRA
1998
IEEE
15 years 1 months ago
1998
IEEE
This paper addresses some performance limits of the kneed and non-kneed passive-dynamic walking machines discovered by McGeer [10, 11]. Energetic inefficiency is measured by the s...
78
Voted
CSL
1998
Springer
15 years 1 months ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
89
Voted
INFOCOM
1997
IEEE
15 years 1 months ago
1997
IEEE
We propose a
ow-control scheme that combines the merits of credit- and rate-based
ow-control schemes by applying direct control over both bandwidth and bu er resources. The goal...
ICALP
1992
Springer
15 years 1 months ago
1992
Springer
Abstract. We investigate the complexity of merging sequences of small integers on the EREW PRAM. Our most surprising result is that two sorted sequences of n bits each can be merge...
66
Voted
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...