Sciweavers

892 search results - page 85 / 179
» Action respecting embedding
Sort
View
ECAL
2007
Springer
14 years 4 months ago
Turing Complete Catalytic Particle Computers
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...
Anthony M. L. Liekens, Chrisantha Thomas Fernando
ISSAC
2007
Springer
93views Mathematics» more  ISSAC 2007»
14 years 4 months ago
Approximate bivariate factorization: a geometric viewpoint
We briefly present and analyze, from a geometric viewpoint, strategies for designing algorithms to factor bivariate approximate polynomials in   [x, y]. Given a composite polyno...
André Galligo, Mark van Hoeij
MATES
2007
Springer
14 years 4 months ago
Diagnosis of Plan Structure Violations
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to ...
Nico Roos, Cees Witteveen
ICRA
2006
IEEE
94views Robotics» more  ICRA 2006»
14 years 4 months ago
Totally Distributed Motion Control of Sphere World Multi-agent Systems using Decentralized Navigation Functions
— A distributed feedback control architecture that guarantees collision avoidance and destination convergence for multiple sphere world holonomic agents is presented. The well es...
Dimos V. Dimarogonas, Kostas J. Kyriakopoulos, Dim...
ISPW
2006
IEEE
14 years 4 months ago
Definition and Analysis of Election Processes
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lor...