2038 search results - page 51 / 408 » Improvements to the Psi-SSA representation |
114
Voted
ENTCS
2007
15 years 1 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
107
click to vote
ICGA
2007
15 years 1 months ago
2007
In this paper it will be explained how to use bitboards for move generation in shogi. In chess, bitboards have been used in most strong programs because of the easy representation...
103
click to vote
IDA
2000
Springer
15 years 1 months ago
2000
Springer
Conventional algorithms for decision tree induction use an attribute-value representation scheme for instances. This paper explores the empirical consequences of using set-valued ...
214
click to vote
ASC
2011
14 years 8 months ago
2011
Evolutionary algorithms provide flexibility and robustness required to find satisfactory solutions in complex search spaces. This is why they are successfully applied for solvin...
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
When seeking a sparse representation of a signal on a redundant basis, one might want to convey available a priori information on the observations to the optimization criterion. I...