Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin ...
In this work, we propose a new robust and edge-preserving superresolution algorithm to simultaneously estimate all frames of a sequence. The new algorithm is based on the regulari...
This paper examines the problem of finding an optimal policy for a Partially Observable Markov Decision Process (POMDP) when the model is not known or is only poorly specified. W...
Accurate 3-D modeling of the human teeth helps patients avoid the discomfort of the mold process, and improves the data accuracy for oral surgeons, orthodontists and dental care p...
Cambron N. Carter, Rosario J. Pusateri, Dongqing C...
This paper presents a new method for reverberant speech separation, based on the combination of binaural cues and blind source separation (BSS) for the automatic classification o...