Sciweavers

6393 search results - page 319 / 1279
» Randomized Algorithms on the Mesh
Sort
View
FSTTCS
2010
Springer
15 years 4 months ago
Model Checking Concurrent Programs with Nondeterminism and Randomization
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
IPL
2008
82views more  IPL 2008»
15 years 6 months ago
A note on the distribution of the number of prime factors of the integers
The Chernoff-Hoeffding bounds are fundamental probabilistic tools. An elementary approach is presented to obtain a Chernoff-type upper-tail bound for the number of prime factors o...
Aravind Srinivasan
INFORMATICALT
2006
150views more  INFORMATICALT 2006»
15 years 6 months ago
A Multiresolution Approach Based on MRF and Bak-Sneppen Models for Image Segmentation
The two major Markov Random Fields (MRF) based algorithms for image segmentation are the Simulated Annealing (SA) and Iterated Conditional Modes (ICM). In practice, compared to the...
Kamal E. Melkemi, Mohamed Batouche, Sebti Foufou
IPMI
2001
Springer
16 years 7 months ago
Deformation Analysis for Shape Based Classification
Statistical analysis of anatomical shape differences between two different populations can be reduced to a classification problem, i.e., learning a classifier function for assignin...
Polina Golland, W. Eric L. Grimson, Martha Elizabe...
BROADNETS
2006
IEEE
15 years 8 months ago
Multicasting in Energy Aware Mobile Backbone Based Wireless Ad Hoc Networks
Multicast protocols for MANET typically construct a tree or mesh structure for multicast message distribution. Typical implementations impose scalability and efficiency limitation...
Choo-Chin Tan, Izhak Rubin