Sciweavers

5352 search results - page 223 / 1071
» Modeling the socio-cultural context
Sort
View
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
15 years 12 months ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...
ECCV
2010
Springer
15 years 11 months ago
Learning What and How of Contextual Models for Scene Labeling
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...
ICRA
2002
IEEE
121views Robotics» more  ICRA 2002»
15 years 11 months ago
Building Multi-Level Models: From Landscapes to Landmarks
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...
MMM
1998
Springer
109views Multimedia» more  MMM 1998»
15 years 11 months ago
Implementing Adaptability in the Standard Reference Model for Intelligent Multimedia Presentation Systems
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...
TACAS
2000
Springer
139views Algorithms» more  TACAS 2000»
15 years 10 months ago
A Markov Chain Model Checker
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...