2421 search results - page 85 / 485 » Integrity Assurance Technique Using Determinant Approach |
106
click to vote
ISSRE
2006
IEEE
15 years 6 months ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
155
click to vote
ICMCS
2006
IEEE
15 years 6 months ago
2006
IEEE
We compare three Computer Vision approaches to 3-D reconstruction, namely passive Binocular Stereo and active Structured Lighting and Photometric Stereo, in application to human f...
97
Voted
VLSID
2005
IEEE
16 years 1 months ago
2005
IEEE
An Application Specific Instruction Set Processor (ASIP) exploits special characteristics of the given application(s) to meet the desired performance, cost and power requirements....
79
Voted
KBS
2008
15 years 18 days ago
2008
Banks currently have a great interest in internal audits to reduce risks, to prevent themselves from insolvency, and to take quick action for financial incidents. This study prese...
102
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
A new graph reduction approach to symbolic circuit analysis is developed in this paper. A Binary Decision Diagram (BDD) mechanism is formulated, together with a specially designed ...