3335 search results - page 400 / 667 » Grid result checking |
175
click to vote
CIMCA
2006
IEEE
16 years 20 days ago
2006
IEEE
: In the adaptive fuzzy control field for affine nonlinear systems, there are two basic configurations: direct and indirect. It is well known that the direct configuration needs mo...
146
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper presents an innovative approach for analogue and mixed-signal verification. It consists in a “verification kit” that makes use of concepts used in state-of-art digi...
194
click to vote
LICS
2006
IEEE
16 years 18 days ago
2006
IEEE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
170
click to vote
QSIC
2006
IEEE
16 years 18 days ago
2006
IEEE
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
146
click to vote
DATE
2005
IEEE
16 years 6 days ago
2005
IEEE
Test sets that detect each target fault n times (n-detection test sets) are typically generated for restricted values of n due to the increase in test set size with n. We perform ...