Sciweavers

4744 search results - page 465 / 949
» Connected Computing
Sort
View
CSL
2007
Springer
16 years 19 days ago
Focusing and Polarization in Intuitionistic Logic
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
Chuck Liang, Dale Miller
EMMCVPR
2007
Springer
16 years 19 days ago
Continuous Global Optimization in Multiview 3D Reconstruction
Abstract. In this work, we introduce a robust energy model for multiview 3D reconstruction that fuses silhouette- and stereo-based image information. It allows to cope with signiï¬...
Kalin Kolev, Maria Klodt, Thomas Brox, Selim Esedo...
EUROPAR
2007
Springer
16 years 19 days ago
Periodic Load Balancing on the N -Cycle: Analytical and Experimental Evaluation
Abstract. We investigate the following very simple load-balancing algorithm on the N-cycle (N even) which we call Odd-Even Transposition Balancing (OETB). The edges of the cycle ar...
Christian Rieß, Rolf Wanka
152
Voted
FCT
2007
Springer
16 years 19 days ago
A Novel Information Transmission Problem and Its Optimal Solution
We propose and study a new information transmission problem motivated by today’s internet. A real number, perhaps representing control information in a network, is encoded using...
Eric Bach, Jin-yi Cai
176
Voted
ICA3PP
2007
Springer
16 years 19 days ago
An Efficient Source Peer Selection Algorithm in Hybrid P2P File Sharing Systems
We propose a source peer selection algorithm which efficiently chooses peers as sources from a set of peers having the requested file in a hybrid P2P file sharing system. Our propo...
Jingyuan Li, Weijia Jia, Liusheng Huang, Mingjun X...