7167 search results - page 1224 / 1434 » A Technique for Invariant Generation |
168
click to vote
VIS
2005
IEEE
16 years 8 months ago
2005
IEEE
In a visualization of a three-dimensional dataset, the insights gained are dependent on what is occluded and what is not. Suggestion of interesting viewpoints can improve both the...
219
click to vote
ICML
2000
IEEE
16 years 8 months ago
2000
IEEE
Eligibility traces have been shown to speed reinforcement learning, to make it more robust to hidden states, and to provide a link between Monte Carlo and temporal-difference meth...
201
click to vote
WWW
2007
ACM
16 years 8 months ago
2007
ACM
Workers in organizations frequently request help from assistants by sending request messages that express information intent: an intention to update data in an information system....
221
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
We revisit the venerable question of access credentials management, which concerns the techniques that we, humans with limited memory, must employ to safeguard our various access ...
250
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
Recent advances in polyhedral compilation technology have made it feasible to automatically transform affine sequential loop nests for tiled parallel execution on multi-core proce...