2642 search results - page 422 / 529 » The development of Chez Scheme |
123
click to vote
ICMCS
2006
IEEE
16 years 15 days ago
2006
IEEE
- Nearly all block-based transform schemes for image and video coding developed so far choose the 2-D discrete cosine transform (DCT) of a square block shape. With almost no except...
142
click to vote
ICPPW
2006
IEEE
16 years 15 days ago
2006
IEEE
Wearable medical systems, which are used for medical monitoring, assessment, and/or treatment have the essential requirements to be low energy consuming and reliable. They must be...
178
click to vote
ACL2
2006
ACM
16 years 13 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
164
click to vote
MM
2006
ACM
16 years 12 days ago
2006
ACM
This paper presents a novel real-time, multi-modal biofeedback system for stoke patient therapy. The problem is important as traditional mechanisms of rehabilitation are monotonou...
152
click to vote
DSN
2005
IEEE
16 years 2 days ago
2005
IEEE
Self-propagating codes, called worms, such as Code Red, Nimda, and Slammer, have drawn significant attention due to their enormous adverse impact on the Internet. There is a grea...