11182 search results - page 330 / 2237 » Shape Analysis of Sets |
176
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
152
click to vote
DATE
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper presents STAX, a crosstalk target set compaction framework to reduce the complexity of the crosstalk ATPG process by pruning non-fault-producing targets. In general, ex...
159
click to vote
SAC
2006
ACM
16 years 22 days ago
2006
ACM
In the context of genome research, the method of gene expression analysis has been used for several years. Related microarray experiments are conducted all over the world, and con...
192
click to vote
SWAT
2004
Springer
16 years 3 days ago
2004
Springer
In this paper, we investigate the test set problem and its variations that appear in a variety of applications. In general, we are given a universe of objects to be “distinguish...
177
click to vote
VLDB
2004
ACM
16 years 3 days ago
2004
ACM
The clinical and basic science research domains present exciting and difficult data integration issues. Solving these problems is crucial as current research efforts in the field ...