Sciweavers

4167 search results - page 428 / 834
» Evolutionary functional testing
Sort
View
APSEC
2009
IEEE
15 years 2 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
ISBI
2011
IEEE
14 years 8 months ago
Sparse topological data recovery in medical images
For medical image analysis, the test statistic of the measurements is usually constructed at every voxels in space and thresholded to determine the regions of significant signals...
Moo K. Chung, Hyekyoung Lee, Peter T. Kim, Jong Ch...
ICIP
2004
IEEE
16 years 6 months ago
Action segmentation and recognition in meeting room scenarios
In this proposal a novel implementation to find and recognize person actions in image sequences of meeting scenarios is introduced. Such extracted information can be used as the b...
Frank Wallhoff, Martin Zobl, Gerhard Rigoll
ICPR
2008
IEEE
16 years 6 months ago
Texture segmentation benchmark
The Prague texture segmentation data-generator and benchmark is a web based (http://mosaic.utia.cas.cz) service designed to mutually compare and rank different texture segmenters,...
Michal Haindl, Stanislav Mikes
ICPR
2006
IEEE
16 years 6 months ago
High Accuracy Handwritten Chinese Character Recognition Using Quadratic Classifiers with Discriminative Feature Extraction
We aim to improve the accuracy of handwritten Chinese character recognition using two advanced techniques: discriminative feature extraction (DFE) and discriminative learning quad...
Cheng-Lin Liu