3359 search results - page 259 / 672 » A Simplified Idea Algorithm |
109
click to vote
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
This paper considers reducing the cost of test application by permuting test vectors to improve their defect coverage. Algorithms for test reordering are developed with the goal o...
118
Voted
SIGMOD
2003
ACM
16 years 3 months ago
2003
ACM
Decision-support applications generate queries with complex predicates. We show how the factorization of complex query expressions exposes significant opportunities for exploiting...
103
Voted
DCC
2005
IEEE
16 years 3 months ago
2005
IEEE
We discuss a lossless data compression system that uses fixed Tree Machines to encode data. The idea is to create a sequence of Tree Machines and a robust escape method aimed at p...
118
Voted
ICLA
2009
Springer
15 years 10 months ago
2009
Springer
One of the surprising developments in the area of program verification is how ideas introduced by logicians in the early part of the 20th Century ended up yielding by the 21 Centu...
115
Voted
ISSAC
2009
Springer
15 years 10 months ago
2009
Springer
We extend Zeilberger’s approach to special function identities to cases that are not holonomic. The method of creative telescoping is thus applied to definite sums or integrals...