Sciweavers

3598 search results - page 603 / 720
» New efficient algorithms for computing effective capacitance
Sort
View
ACCV
2009
Springer
15 years 4 months ago
Color Correction and Compression for Multi-view Video Using H.264 Features
Abstract. Multi-view video is a new video application requiring efficient coding algorithm to compress the huge data, while the color variations among different viewpoints deterior...
Boxin Shi, Yangxi Li, Lin Liu, Chao Xu
GRID
2010
Springer
15 years 3 months ago
Dynamic Partitioning of GATE Monte-Carlo Simulations on EGEE
Abstract The EGEE grid offers the necessary infrastructure and resources for reducing the running time of particle tracking Monte-Carlo applications like GATE. However, efforts are...
Sorina Camarasu-Pop, Tristan Glatard, Jakub T. Mos...
STOC
2010
ACM
269views Algorithms» more  STOC 2010»
15 years 10 months ago
Approximations for the Isoperimetric and Spectral Profile of Graphs and Related Parameters
The spectral profile of a graph is a natural generalization of the classical notion of its Rayleigh quotient. Roughly speaking, given a graph G, for each 0 < < 1, the spect...
Prasad Raghavendra, David Steurer and Prasad Tetal...
ALMOB
2008
92views more  ALMOB 2008»
15 years 6 months ago
Reconstructing phylogenies from noisy quartets in polynomial time with a high success probability
Background: In recent years, quartet-based phylogeny reconstruction methods have received considerable attentions in the computational biology community. Traditionally, the accura...
Gang Wu, Ming-Yang Kao, Guohui Lin, Jia-Huai You
CADE
2001
Springer
16 years 6 months ago
More On Implicit Syntax
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
Marko Luther