Sciweavers

760 search results - page 50 / 152
» Recommendation Systems: A Probabilistic Analysis
Sort
View
TSE
2010
120views more  TSE 2010»
14 years 10 months ago
Time and Probability-Based Information Flow Analysis
Abstract—In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial stud...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...
83
Voted
CGF
2010
128views more  CGF 2010»
14 years 11 months ago
ProbExplorer: Uncertainty-guided Exploration and Editing of Probabilistic Medical Image Segmentation
In this paper, we develop an interactive analysis and visualization tool for probabilistic segmentation results in medical imaging. We provide a systematic approach to analyze, in...
Ahmed Saad, Torsten Möller, Ghassan Hamarneh
102
Voted
CDC
2008
IEEE
127views Control Systems» more  CDC 2008»
15 years 6 months ago
Symmetry reduction for stochastic hybrid systems
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
Manuela L. Bujorianu, Joost-Pieter Katoen
80
Voted
CPHYSICS
2006
95views more  CPHYSICS 2006»
14 years 11 months ago
Efficient data processing and quantum phenomena: Single-particle systems
We study the relation between the acquisition and analysis of data and quantum theory using a probabilistic and deterministic model for photon polarizers. We introduce criteria fo...
H. De Raedt, Koen De Raedt, K. Michielsen, S. Miya...
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
15 years 5 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...