36 search results - page 4 / 8 » A note on the axiomatisation of real numbers |
ICGA
2006
13 years 7 months ago
2006
Bao is a member of the large family of mancala games. It is generally considered to be the most complex mancala game with respect to the number of game rules (Townshend, 1986; De ...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
This note studies nonlinear systems evolving on manifolds with a finite number of asymptotically stable equilibria and a Lyapunov function which strictly decreases outside equilibr...
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
COMCOM
2007
13 years 7 months ago
2007
The difficulty of efficiently reordering the rules in an Access Control List is considered and the essential optimisation problem formulated. The complexity of exact and sophistic...
AI
2002
Springer
13 years 7 months ago
2002
Springer
The emergence of social conventions in multi-agent systems has been analyzed mainly in settings where every agent may interact either with every other agent or with nearest neighb...