7167 search results - page 1431 / 1434 » A Technique for Invariant Generation |
108
click to vote
ASPLOS
2012
ACM
13 years 5 months ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
119
click to vote
SI3D
2012
ACM
13 years 5 months ago
2012
ACM
We present an interactive virtual percussion instrument system, Tabletop Ensemble, that can be used by a group of collaborative users simultaneously to emulate playing music in re...
126
click to vote
TEI
2012
ACM
13 years 5 months ago
2012
ACM
Most current mobile technologies require on-screen operations for interacting with devices’ visual contents. However, as a trade-off for mobility, screens usually provide limite...
SIGMOD
2012
ACM
13 years 1 days ago
2012
ACM
The success of data-driven solutions to difficult problems, along with the dropping costs of storing and processing massive amounts of data, has led to growing interest in largesc...
JMLR
2012
13 years 1 days ago
2012
We consider a model for which it is important, early in processing, to estimate some variables with high precision, but perhaps at relatively low recall. If some variables can be ...