7393 search results - page 387 / 1479 » Synthesis-for-testability using transformations |
123
click to vote
BIBM
2008
IEEE
15 years 11 months ago
2008
IEEE
Even after an experimentally prepared gene expression data set has been pre-processed to account for variations in the microarray technology, there may be inconsistencies between ...
144
Voted
PEPM
2004
ACM
15 years 10 months ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
139
Voted
CCGRID
2001
IEEE
15 years 8 months ago
2001
IEEE
To ameliorate the need to spend significant programmer time modifying parallel programs to achieve highperformance, while maintaining compact, comprehensible source codes, this pa...
152
click to vote
IJCAI
2007
15 years 6 months ago
2007
A key challenge in applying kernel-based methods for discriminative learning is to identify a suitable kernel given a problem domain. Many methods instead transform the input data...
160
click to vote
STTT
2010
15 years 3 months ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...