2268 search results - page 284 / 454 » The Essence of Form Abstraction |
120
click to vote
IFM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...
110
Voted
IH
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Information hiding has been studied in many security applications such as authentication, copyright management and digital forensics. In this work, we introduce a new app...
133
click to vote
LAMAS
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we report on using a relational state space in multi-agent reinforcement learning. There is growing evidence in the Reinforcement Learning research community that a r...
130
click to vote
LSSC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Grid computing is a form of distributed computing that involves coordinating and sharing computing, application, data storage or network resources across dynamic and geog...
115
Voted
MIRRORBOT
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A biologically inspired computational model of rodent representation–based (locale) navigation is presented. The model combines visual input in the form of realistic tw...