Sciweavers

1817 search results - page 264 / 364
» Extensive Games as Process Models
Sort
View
113
Voted
ATAL
2010
Springer
15 years 1 months ago
Quasi deterministic POMDPs and DecPOMDPs
In this paper, we study a particular subclass of partially observable models, called quasi-deterministic partially observable Markov decision processes (QDET-POMDPs), characterize...
Camille Besse, Brahim Chaib-draa
ENTCS
2007
137views more  ENTCS 2007»
15 years 24 days ago
Formal Sequentialization of Distributed Systems via Program Rewriting
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
Miquel Bertran, Francesc-Xavier Babot, August Clim...
127
Voted
IWPC
2010
IEEE
14 years 11 months ago
Using Data Fusion and Web Mining to Support Feature Location in Software
—Data fusion is the process of integrating multiple sources of information such that their combination yields better results than if the data sources are used individually. This ...
Meghan Revelle, Bogdan Dit, Denys Poshyvanyk
120
Voted
ICIP
2010
IEEE
14 years 10 months ago
RFSIM: A feature based image quality assessment metric using Riesz transforms
Image quality assessment (IQA) aims to provide computational models to measure the image quality in a perceptually consistent manner. In this paper, a novel feature based IQA mode...
Lin Zhang, Lei Zhang, Xuanqin Mou
ICDE
2009
IEEE
178views Database» more  ICDE 2009»
14 years 10 months ago
Efficient Query Evaluation over Temporally Correlated Probabilistic Streams
Many real world applications such as sensor networks and other monitoring applications naturally generate probabilistic streams that are highly correlated in both time and space. ...
Bhargav Kanagal, Amol Deshpande