1288 search results - page 122 / 258 » Visual Generalization in Programming by Example |
244
Voted
SSDBM
2011
IEEE
14 years 6 months ago
2011
IEEE
Database technology remains underused in science, especially in the long tail the small labs and individual researchers that collectively produce the majority of scienti c output...
99
Voted
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
103
Voted
IWDW
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we use the previously proposed calibrated DCT features [9] to construct a Support Vector Machine classifier for JPEG images capable of recognizing which steganograp...
94
Voted
NIPS
2004
15 years 4 months ago
2004
We propose a sequential information maximization model as a general strategy for programming eye movements. The model reconstructs high-resolution visual information from a sequen...
129
Voted
CHI
2011
ACM
14 years 6 months ago
2011
ACM
We present a novel integration of a brain-computer interface (BCI) with a music step sequencer composition program. Previous BCIs that utilize EEG data to form music provide users...