Sciweavers

91 search results - page 8 / 19
» Nominal Inversion Principles
Sort
View
ICRA
2002
IEEE
223views Robotics» more  ICRA 2002»
14 years 1 months ago
Dynamic Motion Planning Whole Arm Grasp Systems Based on Switching Contact Modes
We present motion planning for dexterous manipulation by whole arm grasp system based on switching contact modes. Motion planning for such a system should consider changing dynami...
Masahito Yashima, Hideya Yamaguchi
KR
2010
Springer
14 years 1 months ago
Status QIO: Conjunctive Query Entailment Is Decidable
Description Logics (DLs) are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries (CQs), the stand...
Birte Glimm, Sebastian Rudolph
DLOG
2007
13 years 11 months ago
Deciding ALBO with Tableau
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
Renate A. Schmidt, Dmitry Tishkovsky
DLOG
2008
13 years 11 months ago
SRIQ and SROIQ are Harder than SHOIQ
We identify the complexity of (finite model) reasoning in the DL SROIQ to be N2ExpTime-complete. We also prove that (finite model) reasoning in the DL SR--a fragment of SROIQ witho...
Yevgeny Kazakov
INFORMATICALT
2002
154views more  INFORMATICALT 2002»
13 years 8 months ago
Adaptive Stable Control of Manipulators with Improved Adaptation Transients by Using On-line Supervision of the Free-Parameters
An adaptive control scheme for mechanical manipulators is proposed. The control loop essentially consists of a network for learning the robot's inverse dynamics and on-line ge...
Manuel de la Sen, Ana Almansa