Sciweavers

2008 search results - page 161 / 402
» Computing with Equations
Sort
View
119
Voted
ICRA
2005
IEEE
123views Robotics» more  ICRA 2005»
15 years 8 months ago
Sizing a Serial Chain to Fit a Task Trajectory Using Clifford Algebra Exponentials
— In this paper we formulate the “generalized inverse kinematics problem” for a spatial serial chain, where the goal is to determine values for structural parameters as well ...
A. Perez, J. Michael McCarthy
EUROPAR
2004
Springer
15 years 7 months ago
A Parallel PSPG Finite Element Method for Direct Simulation of Incompressible Flow
Abstract. We describe a consistent splitting approach to the pressurestabilized Petrov-Galerkin finite element method for incompressible flow. The splitting leads to (almost) exp...
Jörg Stiller, Karel Frana, Roger Grundmann, U...
113
Voted
MFCS
2004
Springer
15 years 7 months ago
The Dual of Concatenation
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...
Alexander Okhotin
ECAL
2003
Springer
15 years 7 months ago
Multi-agent Model of Biological Swarming
An agent-based approach is used to explain the formation of vortex swarms in biological systems. The dynamics of the multiagent system is described by 3N coupled equations, modeli...
Robert Mach, Frank Schweitzer
FM
1997
Springer
159views Formal Methods» more  FM 1997»
15 years 6 months ago
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
David Cazier, Jean-François Dufourd