1901 search results - page 148 / 381 » Predicting Program Properties from |
126
Voted
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
118
click to vote
POPL
1999
ACM
15 years 7 months ago
1999
ACM
Watermarking embeds a secret message into a cover message. In media watermarking the secret is usually a copyright notice and the cover a digital image. Watermarking an object dis...
120
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
AI
2006
Springer
15 years 6 months ago
2006
Springer
Gliomas are diffuse, invasive brain tumors. We propose a 3D classification-based diffusion model, cdm, that predicts how a glioma will grow at a voxel-level, on the basis of featur...
105
click to vote
ALT
2010
Springer
15 years 4 months ago
2010
Springer
We are studying long term sequence prediction (forecasting). We approach this by investigating criteria for choosing a compact useful state representation. The state is supposed t...