Sciweavers

1599 search results - page 125 / 320
» Probabilistic Analysis of Anonymity
Sort
View
ECCV
2004
Springer
15 years 4 months ago
Probabilistic Spatial-Temporal Segmentation of Multiple Sclerosis Lesions
Abstract. In this paper we describe the application of a novel statistical videomodeling scheme to sequences of multiple sclerosis (MS) images taken over time. The analysis of the ...
Allon Shahar, Hayit Greenspan
ICRA
2002
IEEE
209views Robotics» more  ICRA 2002»
15 years 4 months ago
Probabilistic Shape and Appearance Model for Scene Segmentation
Effective image segmentation of a digitized scene into a set of recognizable objects requires the development of sophisticated scene analysis algorithms. Progress in this area has...
Shaun S. Gleason, Mongi A. Abidi, Hamed Sari-Sarra...
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
15 years 3 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
ISPAN
1999
IEEE
15 years 3 months ago
Location Updates and Probabilistic Tracking Algorithms for Mobile Cellular Networks
In this work, we develop a novel mathematical model to analyze di erent location update protocols for mobile cellular network. Our model can capture many important features of use...
John C. S. Lui, Cedric C. F. Fong, H. W. Chan
DAC
2004
ACM
15 years 2 months ago
Probabilistic regression suites for functional verification
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
Shai Fine, Shmuel Ur, Avi Ziv