364 search results - page 47 / 73 » Consistency Testing: The RACE Experience |
ITCC
2005
IEEE
14 years 1 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
MSWIM
2005
ACM
14 years 1 months ago
2005
ACM
There have been various secure routing protocols proposed for mobile ad hoc networks. Most of these protocols are analyzed by two standard techniques: simulation and security anal...
IEAAIE
2005
Springer
14 years 1 months ago
2005
Springer
Resistance spot welding is an important and widely used method for joining metal objects. In this paper, various classification methods for identifying welding processes are evalua...
KES
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. A new approach is proposed to recover the relative magnitude of Gaussian curvature from three shading images using neural network. Under the assumption that the test obje...
ACII
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, a novel system is proposed to recognize facial expression based on face sketch, which is produced by programmable graphics hardware-GPU(Graphics Processing Unit). Fi...