3742 search results - page 215 / 749 » On the Use of Formal Techniques for Validation |
236
click to vote
PSIVT
2007
Springer
16 years 19 days ago
2007
Springer
In this article a robust and real-time hand gesture detection and recognition system for dynamic environments is proposed. The system is based on the use of boosted classifiers for...
146
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
The prediction of fault-prone modules in a software project has been the topic of many studies. In this paper, we investigate whether metrics available early in the development li...
171
click to vote
ICRA
2007
IEEE
16 years 25 days ago
2007
IEEE
— This paper presents a robotic system capable of using three-dimensional ultrasound to guide a surgical instrument to a tracked target location. Tracking of both the surgical in...
174
click to vote
APSEC
2005
IEEE
16 years 4 days ago
2005
IEEE
Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex syst...
170
click to vote
DIMVA
2006
15 years 8 months ago
2006
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...