Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
We present a data-driven approach to predict the importance of edges and construct a Markov network for image analysis based on statistical models of global and local image feature...
In this paper a complete strategy for scene modelling from sensory data acquired in a natural environment is defined. This strategy is applied to outdoor mobile robotics and goes f...
Rafael Murrieta-Cid, Carlos Parra, Michel Devy, Be...
This paper discusses the implementation of adaptability in environments that are based on the Standard Reference Model for Intelligent Multimedia Presentation Systems. This adapta...
Lloyd Rutledge, Lynda Hardman, Jacco van Ossenbrug...
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
Holger Hermanns, Joost-Pieter Katoen, Joachim Meye...