Sciweavers

3031 search results - page 375 / 607
» Model Driven Testing Based on Test History
Sort
View
153
Voted
ICIP
2010
IEEE
15 years 1 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 1 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...
191
Voted

Publication
204views
15 years 26 days 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
171
Voted
ANTSW
2010
Springer
14 years 10 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ç...
114
Voted
CORR
2011
Springer
146views Education» more  CORR 2011»
14 years 7 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