Sciweavers

5962 search results - page 265 / 1193
» Working with Patterns and Code
Sort
View
AISC
1998
Springer
15 years 8 months ago
Reasoning About Coding Theory: The Benefits We Get from Computer Algebra
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
Clemens Ballarin, Lawrence C. Paulson

Publication
384views
16 years 1 months ago
What are Good Apertures for Defocus Deblurring?
In recent years, with camera pixels shrinking in size, images are more likely to include defocused regions. In order to recover scene details from defocused regions, deblurring tec...
Changyin Zhou, Shree Nayar
128
Voted
NIPS
2001
15 years 6 months ago
Self-regulation Mechanism of Temporally Asymmetric Hebbian Plasticity
Recent biological experimental findings have shown that the synaptic plasticity depends on the relative timing of the pre- and postsynaptic spikes which determines whether Long Te...
N. Matsumoto, M. Okada
CHI
2009
ACM
16 years 5 months ago
Two studies of opportunistic programming: interleaving web foraging, learning, and writing code
This paper investigates the role of online resources in problem solving. We look specifically at how programmers--an exemplar form of knowledge workers--opportunistically interlea...
Joel Brandt, Philip J. Guo, Joel Lewenstein, Mira ...
149
Voted
CASES
2006
ACM
15 years 8 months ago
Reaching fast code faster: using modeling for efficient software thread integration on a VLIW DSP
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...
Won So, Alexander G. Dean