Sciweavers

1578 search results - page 214 / 316
» Induction of Stable Models
Sort
View
105
Voted
CDC
2009
IEEE
124views Control Systems» more  CDC 2009»
15 years 4 months ago
3D bipedal walking with knees and feet: A hybrid geometric approach
Abstract— Motivated by the goal of obtaining moreanthropomorphic walking in bipedal robots, this paper considers a hybrid model of a 3D hipped biped with feet and locking knees. ...
Ryan W. Sinnet, Aaron D. Ames
AAAI
2008
15 years 3 months ago
A Reductive Semantics for Counting and Choice in Answer Set Programming
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...
Joohyung Lee, Vladimir Lifschitz, Ravi Palla
104
Voted
IJCAI
2007
15 years 2 months ago
Coalitional Bargaining with Agent Type Uncertainty
Coalition formation is a problem of great interest in AI, allowing groups of autonomous, individually rational agents to form stable teams. Automating the negotiations underlying ...
Georgios Chalkiadakis, Craig Boutilier
102
Voted
MASCOTS
2008
15 years 2 months ago
On the Stability of Best Effort Flow Control Mechanisms in On-Chip Architectures
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...
Mohammad Sadegh Talebi, Ahmad Khonsari
98
Voted
NIPS
2008
15 years 2 months ago
Tracking Changing Stimuli in Continuous Attractor Neural Networks
Continuous attractor neural networks (CANNs) are emerging as promising models for describing the encoding of continuous stimuli in neural systems. Due to the translational invaria...
C. C. Alan Fung, K. Y. Michael Wong, Si Wu