Sciweavers

1804 search results - page 307 / 361
» On set systems with a threshold property
Sort
View
ICASSP
2010
IEEE
15 years 6 months ago
Empirical Type-i filter design for image interpolation
Empirical filter designs generalize relationships inferred from training data to effect realistic solutions that conform well to the human visual system. Complex algorithms invol...
Karl S. Ni, Truong Q. Nguyen
BIOSYSTEMS
2007
109views more  BIOSYSTEMS 2007»
15 years 6 months ago
Protein folding and the robustness of cells
The intricate intracellular infrastructure of all known life forms is based on proteins. The folded shape of a protein determines both the protein’s function and the set of mole...
G. J. Shawn Tan, Ferran D. Revilla, Klaus-Peter Za...
CGF
2008
235views more  CGF 2008»
15 years 6 months ago
Free Form Incident Light Fields
This paper presents methods for photo-realistic rendering using strongly spatially variant illumination captured from real scenes. The illumination is captured along arbitrary pat...
Jonas Unger, Stefan Gustavson, P. Larsson, Anders ...
ENTCS
2008
120views more  ENTCS 2008»
15 years 6 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
ENTCS
2006
140views more  ENTCS 2006»
15 years 6 months ago
A Library for Self-Adjusting Computation
We present a Standard ML library for writing programs that automatically adjust to changes to their data. The library combines modifiable references and memoization to achieve eff...
Umut A. Acar, Guy E. Blelloch, Matthias Blume, Rob...