Sciweavers

3570 search results - page 317 / 714
» Using the Small-World Model to Improve Freenet Performance
Sort
View
200
Voted
PAPM
2001
Springer
128views Mathematics» more  PAPM 2001»
15 years 11 months ago
Faster and Symbolic CTMC Model Checking
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 ...
ICIP
2006
IEEE
16 years 8 months ago
Outlier Robust and Edge-Preserving Simultaneous Super-Resolution
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...
Joceli Mayer, Marcelo Victor Wüst Zibetti
ECML
2005
Springer
16 years 7 days ago
Active Learning in Partially Observable Markov Decision Processes
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...
Robin Jaulmes, Joelle Pineau, Doina Precup
ICIP
2010
IEEE
15 years 4 months ago
Shape from shading for hybrid surfaces as applied to tooth reconstruction
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...
ICASSP
2011
IEEE
14 years 10 months ago
Integrating binaural cues and blind source separation method for separating reverberant speech mixtures
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...
Atiyeh Alinaghi, Wenwu Wang, Philip J. B. Jackson