Sciweavers

851 search results - page 47 / 171
» History Effects and Verification
Sort
View
IUI
2006
ACM
15 years 5 months ago
Three phase verification for spoken dialog clarification
Spoken dialog tasks incur many errors including speech recognition errors, understanding errors, and even dialog management errors. These errors create a big gap between user'...
Sangkeun Jung, Cheongjae Lee, Gary Geunbae Lee
APSEC
2008
IEEE
15 years 1 months ago
A Verification Framework for FBD Based Software in Nuclear Power Plants
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee
ICMLA
2008
15 years 1 months ago
Towards On-line Treatment Verification Using cine EPID for Hypofractionated Lung Radiotherapy
We propose a novel approach for on-line treatment verification using cine EPID (Electronic Portal Imaging Device) images for hypofractionated lung radiotherapy based on a machine ...
Xiaoli Tang, Tong Lin, Steve B. Jiang
HICSS
2009
IEEE
118views Biometrics» more  HICSS 2009»
15 years 6 months ago
FXplorer: Exploration of Computed Software Behavior - A New Approach to Understanding and Verification
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
Luanne Burns, Timothy Daly
CONIELECOMP
2009
IEEE
15 years 6 months ago
A Fingerprint Verification Algorithm Using the Smallest Minimum Sum of Closest Euclidean Distance
In this paper, a Euclidean distance based minutia matching algorithm is proposed to improve the matching accuracy in fingerprint verification system. This algorithm extracts match...
Ujjal Kumar Bhowmik, Ashkan Ashrafi, Reza R. Adham...