Sciweavers

3031 search results - page 375 / 607
» Model Driven Testing Based on Test History
Sort
View
ICIP
2010
IEEE
15 years 4 months ago
Human age estimation using enhanced bio-inspired features (EBIF)
The Aging process is a non-reversible process, causing human face characteristics change with time as hair whitening, muscles drop and wrinkles. Recently, age estimation from faci...
Mohamed Y. Eldib, Motaz El-Saban
FORTE
2009
15 years 4 months ago
Approximated Context-Sensitive Analysis for Parameterized Verification
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...

Publication
204views
15 years 3 months ago
Maximum Likelihood Active Contours Specialized for Mammography Segmentation
We present a region-based active contour approach to segmenting masses in digital mammograms. The algorithm developed in a Maximum Likelihood approach is based on the calculation o...
Peyman Rahmati, A. Ayatollahi
ANTSW
2010
Springer
15 years 1 months ago
A Deterministic Metaheuristic Approach Using "Logistic Ants" for Combinatorial Optimization
Abstract. Ant algorithms are usually derived from a stochastic modeling based on some specific probability laws. We consider in this paper a full deterministic model of "logis...
Rodolphe Charrier, Christine Bourjot, Franç...
CORR
2011
Springer
146views Education» more  CORR 2011»
14 years 10 months ago
Exploratory simulation of an Intelligent Iris Verifier Distributed System
— This paper discusses some topics related to the latest trends in the field of evolutionary approaches to iris recognition. It presents the results of an exploratory experimenta...
Nicolaie Popescu-Bodorin, Valentina E. Balas