3731 search results - page 27 / 747 » cases 2006 |
CORR
2006
Springer
14 years 10 months ago
2006
Springer
ENDM
2006
14 years 10 months ago
2006
IJMTM
2006
14 years 10 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...
FUIN
2006
14 years 10 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...
83
Voted
LOGCOM
2006
14 years 10 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...