105 search results - page 4 / 21 » VALENS: A Knowledge Based Tool to Validate and Verify an Aio... |
FLAIRS
2001
13 years 8 months ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
JCISE
2002
13 years 7 months ago
2002
Online resources of engineering design information are a critical resource for practicing engineers. These online resources often contain references and content associated with te...
VLSID
2002
IEEE
14 years 7 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
LREC
2008
13 years 9 months ago
2008
We describe the process of converting plain text cultural heritage data to elements of a domain-specific knowledge base, using general machine learning techniques. First, digitise...
IJNSEC
2006
13 years 7 months ago
2006
A directed signature scheme allows a designated verifier to directly verify a signature issued to him, and a third party to check the signature validity with the help of the signe...