We consider the problem of learning to attain multiple goals in a dynamic environment, which is initially unknown. In addition, the environment may contain arbitrarily varying ele...
The development of tools for the organization of large quantities of Web bookmarks is an increasingly challenging task since more and more Web information becomes available and ha...
A two-step elastic medical image registration approach is proposed, which is based on the image intensity. In the first step, the global affine medical image registration is used ...
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...