2713 search results - page 466 / 543 » Parameterized Tree Systems |
115
click to vote
GECCO
2007
Springer
16 years 1 days ago
2007
Springer
Model- and simulation-designers are often interested not in the optimum output of their system, but in understanding how the output is sensitive to different parameters. This can...
151
click to vote
GECCO
2007
Springer
16 years 1 days ago
2007
Springer
This paper presents an approach to analyse the behaviours of teams of autonomous agents who work together to achieve a common goal. The agents in a team are evolved together using...
147
click to vote
ICDT
2007
ACM
16 years 1 days ago
2007
ACM
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
164
click to vote
PAKDD
2007
ACM
16 years 59 min ago
2007
ACM
In this paper, we investigate and utilize the characteristic of the group movement of objects to achieve energy conservation in the inherently resource-constrained wireless object ...
180
click to vote
RTA
2007
Springer
15 years 12 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...