4586 search results - page 669 / 918 » Computing stable models in parallel |
137
Voted
ICIC
2007
Springer
15 years 10 months ago
2007
Springer
In most contexts, learning is essential for the long-term autonomy of an agent. We describes here some essential and fundamental learning mechanisms implemented in a cognitive auto...
128
Voted
PPAM
2005
Springer
15 years 9 months ago
2005
Springer
We address a generalization of the classical 1- and 2-processor UET scheduling problem on dedicated machines. In our chromatic model of scheduling machines have non-simultaneous av...
133
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
142
Voted
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
129
Voted
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...