NDJFL
2010
13 years 3 months ago
2010
NDJFL
2010
13 years 3 months ago
2010
NDJFL
2010
13 years 3 months ago
2010
We study completely decomposable torsion-free abelian groups of the form GS := nSQpn for sets S . We show that GS has a decidable copy if and only if S is 0 2 and has a computable...
NDJFL
2010
13 years 3 months ago
2010
NDJFL
2010
13 years 3 months ago
2010
The question of the origin of polyadic expressivity is explored and the results are brought to bear on Bertrand Russell's 1903 theory of denoting concepts, which is the main o...
NDJFL
2010
13 years 3 months ago
2010
l Abstraction via the Frege Quantifier G. Aldo Antonelli Abstract This paper presents a formalization of first-order aritharacterizing the natural numbers as abstracta of the equin...
NDJFL
2010
13 years 3 months ago
2010
NCA
2010
IEEE
13 years 3 months ago
2010
IEEE
NCA
2010
IEEE
13 years 3 months ago
2010
IEEE
In this paper we address the challenge of realizing full-body behaviors in scalable modular robots. We present an experimental study of a biologically inspired approach to organize...
NCA
2010
IEEE
13 years 3 months ago
2010
IEEE
Programmability is an increasingly important barrier to the deployment of multi-robot systems, as no prior approach allows routine composition and reuse of general aggregate behavi...