Sciweavers

29046 search results - page 190 / 5810
» Computable Models
Sort
View
DSN
2005
IEEE
15 years 9 months ago
Model Checking Markov Reward Models with Impulse Rewards
Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri,...
IJCAI
2007
15 years 5 months ago
Inside-Outside Probability Computation for Belief Propagation
In this paper we prove that the well-known correspondence between the forward-backward algorithm for hidden Markov models (HMMs) and belief propagation (BP) applied to HMMs can be...
Taisuke Sato
117
Voted
QEST
2008
IEEE
15 years 10 months ago
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata
Najla Chamseddine, Marie Duflot, Laurent Fribourg,...
ARCS
2004
Springer
15 years 9 months ago
Extending the MVC Design Pattern towards a Task-Oriented Development Approach for Pervasive Computing Applications
Abstract. This paper addresses the implementation of pervasive Java Web applications using a development approach that is based on the Model-ViewController (MVC) design pattern. We...
Patrick Sauter, Gabriel Vögler, Günther ...
JCP
2008
156views more  JCP 2008»
15 years 3 months ago
Hybrid Approach to Collaborative Context-Aware Service Platform for Pervasive Computing
Dejene Ejigu, Marian Scuturici, Lionel Brunie