32032 search results - page 6215 / 6407 » Verified programming in Guru |
197
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In repeated games with incomplete information, rational agents must carefully weigh the tradeoffs of advantageously exploiting their information to achieve a short-term gain versu...
201
click to vote
HICSS
2010
IEEE
15 years 8 months ago
2010
IEEE
1 The latent semantic indexing (LSI) methodology for information retrieval applies the singular value decomposition to identify an eigensystem for a large matrix, in which cells re...
201
click to vote
AUSDM
2008
Springer
15 years 8 months ago
2008
Springer
The exceptional growth of graphics hardware in programmability and data processing speed in the past few years has fuelled extensive research in using it for general purpose compu...
194
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
Dynamic binary translators (DBT) have recently attracted much attention for embedded systems. The effective implementation of DBT in these systems is challenging due to tight cons...
208
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...