3779 search results - page 166 / 756 » Linear Consistency Testing |
159
click to vote
SIAMJO
2000
15 years 6 months ago
2000
Abstract. We consider column sufficient linear complementarity problems and study the problem of identifying those variables that are zero at a solution. To this end we propose a n...
173
click to vote
RECOMB
2009
Springer
16 years 1 months ago
2009
Springer
Comparing genomes of different species is a crucial problem in comparative genomics. Different measures have been proposed to compare two genomes: number of common intervals, num...
165
click to vote
DFT
2003
IEEE
15 years 11 months ago
2003
IEEE
1 This paper presents a solution to the test time minimization problem for core-based systems that contain sequential cores with STUMPS architecture. We assume a hybrid BIST approa...
146
click to vote
LICS
1992
IEEE
15 years 10 months ago
1992
IEEE
The aim of this paper is to find the finest `observable' and `implementable' equivalence on concurrent processes. This is a part of a larger programme to develop a theor...
149
click to vote
ECP
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we study the consistency problem for a set of disjunctive temporal constraints [Stergiou and Koubarakis, 1998]. We propose two SAT-based procedures, and show that—o...