7167 search results - page 31 / 1434 » A Technique for Invariant Generation |
JDCTA
2008
15 years 1 months ago
2008
A rule set generation technique based on a generated decision tree is suggested for better decision making to compensate the weak point of decision trees
112
click to vote
JCIT
2008
15 years 1 months ago
2008
This paper presents an efficient One Pass Association Mining technique i.e. OPAM, which finds all the frequent itemsets without generating any candidate sets. OPAM is basically an...
AUTOMATICA
2005
15 years 1 months ago
2005
In this paper, the problem of fault detection in sampled-data systems is studied. It is shown that norms of a sampled system are equal to the corresponding norms of a certain disc...
TCAD
2010
14 years 8 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
SP
2008
IEEE
15 years 8 months ago
2008
IEEE
The automatic patch-based exploit generation problem is: given a program P and a patched version of the program P′ , automatically generate an exploit for the potentially unknow...