2297 search results - page 319 / 460 » An Algorithm for Computing the Integral Closure |
248
click to vote
ICDE
2002
IEEE
16 years 6 months ago
2002
IEEE
Difference, intersection, semi-join and anti-semi-join may be considered binary subset operators, in that they all return a subset of their left-hand argument. These operators are...
141
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
142
click to vote
GLVLSI
2009
IEEE
15 years 11 months ago
2009
IEEE
Recently, cooperative communication has attracted a lot of attention for its potential to increase spatial diversity. However, limited attention has been paid to the physical laye...
139
click to vote
VRST
2009
ACM
15 years 11 months ago
2009
ACM
For the convenient reuse of large-scale 3D motion capture data, browsing and searching methods for the data should be explored. In this paper, an efficient indexing and retrieval...
127
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— We present an SoC testing approach that integrates test data compression, TAM/test wrapper design, and test scheduling. An improved LFSR reseeding technique is used as ...