Sciweavers

10414 search results - page 182 / 2083
» An efficient algorithm for Co-segmentation
Sort
View
CGF
2000
83views more  CGF 2000»
15 years 6 months ago
A novel approach makes higher order wavelets really efficient for radiosity
Since wavelets were introduced in the radiosity algorithm5, surprisingly little research has been devoted to higher order wavelets and their use in radiosity algorithms. A previou...
François Cuny, Laurent Alonso, Nicolas Holz...
ENTCS
2000
60views more  ENTCS 2000»
15 years 6 months ago
Writing Constructive Proofs Yielding Efficient Extracted Programs
The NuPRL system [3] was designed for interactive writing of machine
Aleksey Nogin
TACAS
2010
Springer
156views Algorithms» more  TACAS 2010»
15 years 4 months ago
Preemption Sealing for Efficient Concurrency Testing
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...
Thomas Ball, Sebastian Burckhardt, Katherine E. Co...
IPL
2010
158views more  IPL 2010»
15 years 3 months ago
Finding bipartite subgraphs efficiently
Polynomial algorithms are given for the following two problems:
Dhruv Mubayi, György Turán
TIP
2010
165views more  TIP 2010»
15 years 1 months ago
Physically Consistent and Efficient Variational Denoising of Image Fluid Flow Estimates
Imaging plays an important role in experimental fluid dynamics. It is equally important both for scientific research and a range of industrial applications. It is known, however, t...
Andrey Vlasenko, Christoph Schnörr