Sciweavers

5608 search results - page 261 / 1122
» On the Theory of Matchgate Computations
Sort
View
IROS
2009
IEEE
165views Robotics» more  IROS 2009»
16 years 1 months ago
Three dimensional statics for continuum robotics
—This paper introduces a method for computing the shape of a continuously-flexible (continuum) robot in 3-D space which includes gravity loading by applying Cosserat rod theory t...
Bryan A. Jones, Ricky L. Gray, Krishna Turlapati
CALCO
2009
Springer
133views Mathematics» more  CALCO 2009»
16 years 1 months ago
Stone Duality and the Recognisable Languages over an Algebra
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...
Mai Gehrke
AISC
2010
Springer
15 years 11 months ago
On Krawtchouk Transforms
Krawtchouk polynomials appear in a variety of contexts, most notably as orthogonal polynomials and in coding theory via the Krawtchouk transform. We present an operator calculus fo...
Philip Feinsilver, René Schott
COSIT
1999
Springer
162views GIS» more  COSIT 1999»
15 years 11 months ago
Terminological Default Reasoning about Spatial Information: A First Step
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
Ralf Möller, Michael Wessel
LPNMR
1999
Springer
15 years 11 months ago
Representing Transition Systems by Logic Programs
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
Vladimir Lifschitz, Hudson Turner