Sciweavers

1424 search results - page 166 / 285
» The Multi-radius Cover Problem
Sort
View
NFM
2011
225views Formal Methods» more  NFM 2011»
14 years 10 months ago
Synthesis for PCTL in Parametric Markov Decision Processes
Abstract. In parametric Markov Decision Processes (PMDPs), transition probabilities are not fixed, but are given as functions over a set of parameters. A PMDP denotes a family of ...
Ernst Moritz Hahn, Tingting Han, Lijun Zhang
IFIP
2010
Springer
14 years 10 months ago
Autonomic Approach to Planning and Scheduling in Networked Small Factories
The paper considers the complex behavior of a small company in a business ecosystem, time by time leader or supplier or both in one or more supply chains, and points out the data e...
Flavio Bonfatti, Luca Martinelli, Paola Daniela Mo...
ICASSP
2011
IEEE
14 years 7 months ago
Compensation of partly reliable components for band-limited speech recognition with missing data techniques
Mismatch in speech bandwidth between training and real operation greatly degrades the performance of automatic speech recognition (ASR) systems. Missing feature technique (MFT) is...
Yongjun He, Jiqing Han, Tieran Zheng, Guibin Zheng
MIA
2011
135views more  MIA 2011»
14 years 6 months ago
A comprehensive study of stent visualization enhancement in X-ray images by image processing means
In this work we propose a comprehensive study of Digital Stent Enhancement (DSE), from the analysis of requirements to the validation of the proposed solution. First, we derive th...
Vincent Bismuth, Régis Vaillant, Fran&ccedi...
AADA
2011
14 years 3 months ago
Sparse Template-Based variational Image Segmentation
We introduce a variational approach to image segmentation based on sparse coverings of image domains by shape templates. The objective function combines a data term that achieves ...
Dirk Breitenreicher, Jan Lellmann, Christoph Schn&...