1760 search results - page 14 / 352 » Program Analysis Using Weighted Pushdown Systems |
VTS
2002
IEEE
14 years 3 months ago
2002
IEEE
We present a software-based weighted random pattern scheme for testing delay faults in IP cores of programmable SoCs. We describe a method for determining static and transition pr...
CSB
2005
IEEE
14 years 4 months ago
2005
IEEE
We developed a machine learning system for determining gene functions from heterogeneous sources of data sets using a Weighted Naive Bayesian Network (WNB). The knowledge of gene ...
ATAL
2009
Springer
14 years 5 months ago
2009
Springer
We introduce and investigate a natural extension of Dung’s well-known model of argument systems in which attacks are associated with a weight, indicating the relative strength o...
IJCNN
2006
IEEE
14 years 5 months ago
2006
IEEE
—Support Vector Machines are used to combine the outputs of multiple entity extractors, thus creating a composite entity extraction system. The composite system has a significant...
CORR
2006
Springer
13 years 11 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...