Sciweavers

2701 search results - page 377 / 541
» On the form of witness terms
Sort
View
JASIS
2011
110views more  JASIS 2011»
14 years 9 months ago
A material history of bits
In both the popular press and scholarly research, digital information is persistently discussed in terms that imply its immateriality. In this characterization, the digital derive...
Jean-François Blanchette
LCTRTS
2011
Springer
14 years 9 months ago
An approach to improving the structure of error-handling code in the linux kernel
nguage does not provide any abstractions for exception handling or other forms of error handling, leaving programmers to devise their own conventions for detecting and handling er...
Suman Saha, Julia L. Lawall, Gilles Muller
PAKDD
2011
ACM
253views Data Mining» more  PAKDD 2011»
14 years 9 months ago
Balance Support Vector Machines Locally Using the Structural Similarity Kernel
A structural similarity kernel is presented in this paper for SVM learning, especially for learning with imbalanced datasets. Kernels in SVM are usually pairwise, comparing the sim...
Jianxin Wu
PAMI
2011
14 years 9 months ago
Motion Field Estimation from Alternate Exposure Images
—Traditional optical flow algorithms rely on consecutive short-exposed images. In this work, we make use of an additional long-exposed image for motion field estimation. Long-e...
Anita Sellent, Martin Eisemann, Bastian Goldlü...
PPOPP
2011
ACM
14 years 9 months ago
Cooperative reasoning for preemptive execution
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan