Sciweavers

2527 search results - page 227 / 506
» A UML-Based Approach to System Testing
Sort
View
CCS
2009
ACM
15 years 8 months ago
On voting machine design for verification and testability
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, Dav...
138
Voted
EWCBR
2008
Springer
15 years 6 months ago
Competence-Preserving Case-Deletion Strategy for Case Base Maintenance
The main goal of a Case-Based Reasoning (CBR) system is to provide criteria for evaluating the internal behavior and task efficiency of a particular system for a given initial case...
Mohamed Karim Haouchine, Brigitte Chebel-Morello, ...
140
Voted
ICDAR
2009
IEEE
15 years 2 months ago
Offline Signature Verification Based on Pseudo-Cepstral Coefficients
Features representing information about pressure distribution from a static image of a handwritten signature are analyzed for an offline verification system. From gray-scale image...
Jesus Francisco Vargas Bonilla, Miguel Angel Ferre...
132
Voted
ICPR
2006
IEEE
16 years 5 months ago
Non-overlapping Distributed Tracking using Particle Filter
Tracking people or objects across multiple cameras is a challenging research area in visual computing especially when these cameras have non-overlapping field-of-views. The import...
Fee-Lee Lim, Tele Tan, Wilson S. Leoputra
ICASSP
2009
IEEE
15 years 11 months ago
Using speech transformation to increase speech intelligibility for the hearing- and speaking-impaired
We present two speech transformation approaches designed to increase the intelligibility of speech. The first approach is used in the context of increasing the intelligibility of...
Alexander Kain, Jan P. H. van Santen