2629 search results - page 69 / 526 » complex 2009 |
IROS
2009
IEEE
14 years 5 months ago
2009
IEEE
— This paper models recent data in the field of postural coordination showing the existence of self-organized postural states, and transition between them, underlying suprapostu...
ESAW
2009
Springer
14 years 5 months ago
2009
Springer
In this paper, after a short review of the dichotomous view of norms usually seen as either regular behaviors or obligations issued by authorities, norms are proposed to be defined...
ICMT
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
ISSAC
2009
Springer
14 years 5 months ago
2009
Springer
An Artin-Schreier tower over the finite field Fp is a tower of field extensions generated by polynomials of the form Xp − X − α. Following Cantor and Couveignes, we give a...
RTA
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We show how polynomial path orders can be employed efficiently in conjunction with weak innermost dependency pairs to automatically certify the polynomial runtime comple...