1760 search results - page 14 / 352 » Program Analysis Using Weighted Pushdown Systems |
144
click to vote
VTS
2002
IEEE
15 years 9 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...
178
click to vote
CSB
2005
IEEE
15 years 9 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 ...
101
click to vote
ATAL
2009
Springer
15 years 10 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...
123
Voted
IJCNN
2006
IEEE
15 years 10 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...
135
click to vote
CORR
2006
Springer
15 years 4 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...