Sciweavers

11168 search results - page 267 / 2234
» Abstract State Processes
Sort
View
SARA
2007
Springer
16 years 29 days ago
Active Learning of Dynamic Bayesian Networks in Markov Decision Processes
Several recent techniques for solving Markov decision processes use dynamic Bayesian networks to compactly represent tasks. The dynamic Bayesian network representation may not be g...
Anders Jonsson, Andrew G. Barto
EWSPT
1995
Springer
15 years 10 months ago
Decentralised Process Modelling
In this paper, we advocate decentralised process modelling and suggest that understanding and modelling the development processes of individual development participants is the key ...
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein,...
CMOT
2000
128views more  CMOT 2000»
15 years 6 months ago
Ontologies to Support Process Integration in Enterprise Engineering
Enterprise design knowledge is currently descriptive, ad hoc, or pre-scientific. One reason for this state of affairs in enterprise design is that existing approaches lack an adeq...
Michael Grüninger, Katy Atefi, Mark S. Fox
ICASSP
2011
IEEE
14 years 10 months ago
Motion vector recovery with Gaussian Process Regression
In this paper, we propose a Gaussian Process Regression (GPR) framework for concealment of corrupted motion vectors in predictive video coding of packet video systems. The problem...
Hadi Asheri, Abdolkhalegh Bayati, Hamid R. Rabiee,...
MEMOCODE
2005
IEEE
16 years 13 days ago
Automatic synthesis of cache-coherence protocol processors using Bluespec
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
Nirav Dave, Man Cheuk Ng, Arvind