Sciweavers

1022 search results - page 103 / 205
» Stable models and circumscription
Sort
View
SEMWEB
2009
Springer
14 years 4 months ago
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
An important issue for the Semantic Web is how to combine open-world ontology languages with closed-world (non-monotonic) rule paradigms. Several proposals for hybrid languages all...
José Júlio Alferes, Matthias Knorr, ...
HAPTICS
2008
IEEE
14 years 4 months ago
On-Line Interactive Dexterous Grasping
In this paper we describe a system that combines human input and automatic grasp planning for controlling an artificial hand, with applications in the area of hand neuroprosthetic...
Matei T. Ciocarlie, Peter K. Allen
INFOCOM
2008
IEEE
14 years 4 months ago
Achieving Honest Ratings with Reputation-Based Fines in Electronic Markets
—The effectiveness of online feedback mechanisms for rating the performance of providers in electronic markets is vulnerable to the submission of dishonest ratings. In this paper...
Thanasis G. Papaioannou, George D. Stamoulis
IROS
2008
IEEE
129views Robotics» more  IROS 2008»
14 years 4 months ago
Dynamic acyclic motion from a planar contact-stance to another
— This paper addresses the problem of generating dynamic motion for a humanoid between two predefined postures. The humanoid robot starts its motion from a statically stable con...
Mario Arbulu, Kazuhito Yokoi, Abderrahmane Kheddar...
ISCC
2007
IEEE
14 years 4 months ago
On XCP Stability in a Heterogeneous Network
In this paper, we analyze stability of XCP (eXplicit Control Protocol) in a network with heterogeneous XCP flows (i.e., XCP flows with different propagation delays). Specificall...
Yusuke Sakumoto, Hiroyuki Ohsaki, Makoto Imase