29046 search results - page 5471 / 5810 » Computable Models |
170
click to vote
JELIA
2004
Springer
16 years 4 days ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
188
click to vote
MFCS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
202
click to vote
MIDDLEWARE
2004
Springer
16 years 4 days ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
223
click to vote
ROBOCUP
2004
Springer
16 years 3 days ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
207
click to vote
MIR
2010
ACM
16 years 2 days ago
2010
ACM
There is considerable research in the field of content-based medical image retrieval; however, few of the current systems investigate the relationship between the radiologists’...