3731 search results - page 27 / 747 » cases 2006 |
CORR
2006
Springer
15 years 5 months ago
2006
Springer
136
click to vote
IJMTM
2006
15 years 5 months ago
2006
: The paper discusses the role of simulation in agent-based control systems. We present the universal runtime interface enabling efficient interactions between the agent control, m...
143
click to vote
FUIN
2006
15 years 5 months ago
2006
We examine the power and limitations of the weakest vertex relabelling system which allows to change a label of a vertex in function of its own label and of the label of one of its...
143
click to vote
LOGCOM
2006
15 years 5 months ago
2006
For every Kripke complete modal logic L we define its hybrid companion LH . For a reasonable class of logics, we present a satisfiability-preserving translation from LH to L. We p...