6719 search results - page 1144 / 1344 » A Generalization of Automatic Sequences |
196
click to vote
SIGMOD
2012
ACM
13 years 7 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
156
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
124
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...
186
click to vote
TOG
2012
13 years 7 months ago
2012
Procedural noise is a fundamental tool in Computer Graphics. However, designing noise patterns is hard. In this paper, we present Gabor noise by example, a method to estimate the ...
170
Voted
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
Attribute-based query offers an intuitive way of image retrieval, in which users can describe the intended search targets with understandable attributes. In this paper, we develop...