504 search results - page 31 / 101 » Complexity Properties of Restricted Abstract Argument System... |
60
Voted
CORR
2008
Springer
14 years 9 months ago
2008
Springer
In this paper we investigate the affect of various acceptance conditions on recogniser membrane systems without dissolution. We demonstrate that two particular acceptance conditio...
67
Voted
TAPSOFT
1997
Springer
15 years 1 months ago
1997
Springer
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...
88
Voted
CIE
2006
Springer
15 years 1 months ago
2006
Springer
or representation theory of groups), and even borrows abstract geometrical concepts like Euler characteristic or Grothendieck ring. However, the most stimulating for proof complexi...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— A complete complementary codes based direct sequence code division multiple access (CC/DS-CDMA) system was recently proposed to offer isotropic interference free transm...
TROB
2002
14 years 9 months ago
2002
Abstract--A new image-based control strategy for visual servoing of a class of under-actuated rigid body systems is presented. The proposed control design applies to "eye-in-h...