Sciweavers

1485 search results - page 119 / 297
» connection 2010
Sort
View
COCO
2010
Springer
139views Algorithms» more  COCO 2010»
15 years 10 months ago
On Matrix Rigidity and Locally Self-Correctable Codes
We describe a new approach for the problem of finding rigid matrices, as posed by Valiant [Val77], by connecting it to the, seemingly unrelated, problem of proving lower bounds f...
Zeev Dvir
RTA
2010
Springer
15 years 10 months ago
A Proof Calculus Which Reduces Syntactic Bureaucracy
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...
Alessio Guglielmi, Tom Gundersen, Michel Parigot
152
Voted
WCNC
2010
IEEE
15 years 10 months ago
Planning of Relay Station Locations in IEEE 802.16 (WiMAX) Networks
— Broadband wireless access networks have received tremendous attention in terms of research and development in the recent years. There have also been test networks deployed in m...
Zakhia G. Abichar, Ahmed E. Kamal, J. Morris Chang
ACMIDC
2010
15 years 9 months ago
Digital inclusion in Chilean in rural schools
This paper analyzes conditions for improving digital inclusion in Chilean rural schools, using a multidimensional definition of digital divide. Using qualitative and quantitative ...
Jaime Sánchez
ASPLOS
2010
ACM
15 years 9 months ago
A power-efficient all-optical on-chip interconnect using wavelength-based oblivious routing
We present an all-optical approach to constructing data networks on chip that combines the following key features: (1) Wavelengthbased routing, where the route followed by a packe...
Nevin Kirman, José F. Martínez