3018 search results - page 175 / 604 » Leveraging the |
CHI
2010
ACM
13 years 8 months ago
2010
ACM
This study explores language's fragmenting effect on usergenerated content by examining the diversity of knowledge representations across 25 different Wikipedia language edit...
FECS
2010
13 years 8 months ago
2010
- Computing education has permeated virtually all disciplines, expanding learning with new technology and an updated definition of literacy that includes computational thinking. As...
FPL
2010
Springer
13 years 8 months ago
2010
Springer
This paper presents a novel IP core reuse strategy which reduces design time from days to hours for communication circuits such as digital radio receivers. This design productivity...
GLOBECOM
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Several underwater network characteristics, including long propagation delays and a bandwidth dependent on distance, provide unique challenges to protocol designers. In t...
ICCAD
2010
IEEE
13 years 8 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...