Sciweavers

2131 search results - page 110 / 427
» Immunity for Closed Sets
Sort
View
LFCS
2009
Springer
16 years 28 days ago
Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
The admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In a previous paper by the authors, formal systems for deriving the admissib...
Rosalie Iemhoff, George Metcalfe
RELMICS
2009
Springer
16 years 27 days ago
Collagories for Relational Adhesive Rewriting
We define collagories essentially as “distributive allegories without zero morphisms”, and show that they are sufficient for accommodating the relation-algebraic approach to ...
Wolfram Kahl
ICRA
2008
IEEE
123views Robotics» more  ICRA 2008»
16 years 24 days ago
Optimal trajectory generation for nonholonomic robots in dynamic environments
Abstract— We study optimal trajectory generation for nonholonomic mobile robots in the presence of moving obstacles. The trajectory is presented by a parameterized higher-order p...
Yi Guo, Tang Tang
FUZZIEEE
2007
IEEE
16 years 21 days ago
A Generalized Class of T-norms From a Categorical Point of View
Abstract— Triangular norms or t-norms, in short, and automorphisms are very useful to fuzzy logics in the narrow sense. However, these notions are usually limited to the set [0, ...
Benjamín C. Bedregal, Hélida S. Sant...
GLOBECOM
2007
IEEE
16 years 21 days ago
Low Rate Coded Interleave Division Multiple Access on Rician Fading Channels
—The performance of Interleave Division Multiple Access (IDMA) with a new set of low rate turbo codes is evaluated on Additive White Gaussian Noise (AWGN) and Rician fading chann...
Mustafa Eroz, Lin-Nan Lee