Sciweavers

5184 search results - page 179 / 1037
» The digital divide of computing
Sort
View
JCDL
2009
ACM
150views Education» more  JCDL 2009»
15 years 11 months ago
Science teachers' use of online resources and the digital library for Earth system education
A three-part study of teachers’ use of online resources and of the Digital Library for Earth System Education (DLESE) was conducted from 2004 through summer 2006. The first two ...
Lecia Jane Barker
SP
2009
IEEE
114views Security Privacy» more  SP 2009»
16 years 1 months ago
Formally Certifying the Security of Digital Signature Schemes
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
Santiago Zanella Béguelin, Gilles Barthe, B...
ICC
2008
IEEE
146views Communications» more  ICC 2008»
16 years 27 days ago
Optimal Precoding for Digital Subscriber Lines
—We determine the linear precoding policy that maximizes the mutual information for general multiple-input multiple-output (MIMO) Gaussian channels with arbitrary input distribut...
Fernando Pérez-Cruz, Miguel R. D. Rodrigues...
ICDAR
2007
IEEE
16 years 23 days ago
Quantile Linear Algorithm for Robust Binarization of Digitalized Letters
We describe a threshold-based local algorithm for image binarization. The main idea is to compute a transition energy using pixel value differences taken from a neighborhood aroun...
M. Ramírez, Ernesto Tapia, Marco Block, Ra&...
PATMOS
2004
Springer
15 years 11 months ago
Signal Sampling Based Transition Modeling for Digital Gates Characterization
Current characterization methods introduce an important error in the measurement process. In this paper, we present a novel method to drive the timing characterization of logic gat...
Alejandro Millán, Jorge Juan-Chico, Manuel ...