528 search results - page 67 / 106 » Degrees of categoricity of computable structures |
P2P
2008
IEEE
14 years 3 months ago
2008
IEEE
Trees are fundamental structures for data dissemination in large-scale network scenarios. However, their inherent fragility has led researchers to rely on more redundant mesh topo...
CSL
2007
Springer
14 years 2 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
A new haptic feedback mechanism with five active degrees of freedom (dof), part of a training simulator for urological operations, is presented. The mechanism consists of a 2-dof 5...
ISSAC
1994
Springer
14 years 23 days ago
1994
Springer
New techniques, both theoretical and practical, are presented for constructing a permutation representation for a matrix group. We assume that the resulting permutation degree, n,...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
For artificial entities to achieve high degrees of autonomy they will need to display appropriate adaptability. In this sense adaptability includes representational flexibility gu...