1809 search results - page 98 / 362 » Using GDE in Educational Systems |
CORR
2008
Springer
14 years 10 months ago
2008
Springer
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...
122
click to vote
TIP
2010
14 years 4 months ago
2010
As an effective method for copyright protection of digital products against illegal usage, watermarking in wavelet domain has recently received considerable attention due to the de...
120
click to vote
SIGCSE
2009
ACM
15 years 10 months ago
2009
ACM
Complex distributed systems are increasingly important in modern computer science, yet many undergraduate curricula do not give students the opportunity to develop the skill sets ...
105
click to vote
SIGCSE
1992
ACM
15 years 2 months ago
1992
ACM
on through abstract instructions which approximate, but do not duplicate, the behavior of actual machines. Because they are designed for use in a variety of educational settings, C...
71
Voted
CORR
2008
Springer
14 years 10 months ago
2008
Springer
A belief-propagation decoder for low-density lattice codes, which represents messages explicitly as a mixture of Gaussians functions, is given. In order to prevent the mixture elem...