Sciweavers

439 search results - page 59 / 88
» Choiceless Computation and Symmetry
Sort
View
VMCAI
2010
Springer
15 years 7 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
SOFSEM
2010
Springer
15 years 6 months ago
Parallel Randomized Load Balancing: A Lower Bound for a More General Model
We extend the lower bound of Adler et. al [1] and Berenbrink [3] for parallel randomized load balancing algorithms. The setting in these asynchronous and distributed algorithms is...
Guy Even, Moti Medina
CVPR
2010
IEEE
15 years 5 months ago
An automatic unsupervised classification of MR images in Alzheimer's disease
Image-analysis methods play an important role in helping detect brain changes in and diagnosis of Alzheimer's Disease (AD). In this paper, we propose an automatic unsupervised...
Xiaojing Long
DELTA
2008
IEEE
15 years 4 months ago
Eigenspectra Palmprint Recognition
This paper introduces a novel technique for palmprint recognition on the transform domain, based on combining principle component analysis (PCA) and Fourier domain. Principal Comp...
Moussadek Laadjel, Ahmed Bouridane, Fatih Kurugoll...
ICPR
2010
IEEE
15 years 3 months ago
Road Sign Detection in Images: A Case Study
Road sign identification in images is an important issue, in particular for vehicle safety applications. It is usually tackled in three stages: detection, recognition and trackin...
Rachid Belaroussi, Philippe Foucher, Jean-Philippe...