3745 search results - page 44 / 749 » Sonic: System Description |
CORR
2009
Springer
14 years 11 months ago
2009
Springer
We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their g...
117
click to vote
ENTCS
2010
14 years 11 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
FUIN
2006
15 years 1 months ago
2006
The paper introduces the formal description of a computing multi-agent system (MAS), its architecture and dynamics (sections 2
ICEIS
2006
IEEE
15 years 8 months ago
2006
IEEE
108
click to vote
ROBOCUP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper resumes the main features of the RoGi Team. It explains whole system, including global vision and decision systems and robots.