Sciweavers

14084 search results - page 282 / 2817
» A Theory for Game Theories
Sort
View
ECAL
2001
Springer
15 years 11 months ago
Formal Description of Autopoiesis Based on the Theory of Category
Since the concept of autopoiesis was proposed as a model of minimal living systems by Maturana and Varela, and applied to social systems by Luhmann, there has been only a few math...
Tatsuya Nomura
TACS
2001
Springer
15 years 11 months ago
Non-structural Subtype Entailment in Automata Theory
Decidability of non-structural subtype entailment is a long standing open problem in programming language theory. In this paper, we apply automata theoretic methods to characterize...
Joachim Niehren, Tim Priesnitz
142
Voted
ICRA
2000
IEEE
91views Robotics» more  ICRA 2000»
15 years 11 months ago
Mechanism Synthesis Theory and the Design of Robots
The synthesis theory for spatial linkage systems can be formulated in a way that is compatible with the geometric design of serial and parallel chain robotic systems. Mechanism de...
J. Michael McCarthy
ISSAC
1998
Springer
111views Mathematics» more  ISSAC 1998»
15 years 11 months ago
A Subresultant Theory for Ore Polynomials with Applications
The subresultant theory for univariate commutative polynomials is generalized to Ore polynomials. The generalization includes: the subresultant theorem, gap structure, and subresu...
Ziming Li
MFCS
1990
Springer
15 years 10 months ago
One-Way Functions in Complexity Theory
We introduce the notion of associative one-way functions and prove that they exist if and only if P 6= NP. As evidence of their utility, we present two novel protocols that apply ...
Alan L. Selman