14244 search results - page 702 / 2849 » Modeling Program Predictability |
168
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
223
click to vote
ENTCS
2010
15 years 4 months ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
128
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we investigate the utility of providing users with the system’s rationale in a mixed-initiative system for GUI customization. An evaluation comparing a version of ...
303
click to vote
MOZ
2004
Springer
16 years 20 days ago
2004
Springer
We present the design and implementation of a Minesweeper game, augmented with a digital assistant. The assistant uses contraint programming techniques to help the player, and is a...
167
click to vote
NIPS
2004
15 years 8 months ago
2004
We present a novel approach to collaborative prediction, using low-norm instead of low-rank factorizations. The approach is inspired by, and has strong connections to, large-margi...