528 search results - page 67 / 106 » Degrees of categoricity of computable structures |
P2P
2008
IEEE
15 years 5 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...
101
click to vote
CSL
2007
Springer
15 years 5 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
15 years 4 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
15 years 3 months 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,...
117
click to vote
GECCO
2008
Springer
15 years 10 days 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...