Sciweavers

13151 search results - page 91 / 2631
» Position based dynamics
Sort
View
FUIN
2007
108views more  FUIN 2007»
15 years 3 months ago
An Axiomatization of the Token Game Based on Petri Algebras
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
Eric Badouel, Jules Chenou, Goulven Guillou
ENTCS
2008
97views more  ENTCS 2008»
15 years 3 months ago
Termination of Lazy Rewriting Revisited
Lazy rewriting is a proper restriction of term rewriting that dynamically restricts the reduction of certain arguments of functions in order to obtain termination. In contrast to ...
Felix Schernhammer, Bernhard Gramlich
SPATIALCOGNITION
2004
Springer
15 years 8 months ago
Exploiting Qualitative Spatial Neighborhoods in the Situation Calculus
Abstract. We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segm...
Frank Dylla, Reinhard Moratz
JCIT
2010
185views more  JCIT 2010»
14 years 10 months ago
GPS/TDOA Hybrid Location Algorithm Based on Federal Kalman Filter
Generally, accuracy of GPS(Global Positioning System) is higher than that of cellular network. But in tall building urban area or indoor, relatively weak GPS signal makes the posi...
Cui-Xia Li, Wei-Ming Liu, Zi-Nan Fu
ICRA
2007
IEEE
154views Robotics» more  ICRA 2007»
15 years 9 months ago
Identification of the payload inertial parameters of industrial manipulators
— In this paper we present four methods for the identification of the inertial parameters of the load of a manipulator. The knowledge of the values of these parameters can be use...
Wisama Khalil, Maxime Gautier, Philippe Lemoine