3974 search results - page 543 / 795 » Metric Functional Dependencies |
192
click to vote
MM
2006
ACM
16 years 1 months 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...
186
click to vote
SPAA
2006
ACM
16 years 1 months ago
2006
ACM
Suppose we have a parallel or distributed system whose nodes have limited capacities, such as processing speed, bandwidth, memory, or disk space. How does the performance of the s...
186
click to vote
ICMCS
2005
IEEE
16 years 26 days ago
2005
IEEE
Due to the enormous increase in the stored digital contents, search and retrieval functionalities are necessary in multimedia systems. Though processor speed for standard PCs (Per...
226
click to vote
HASKELL
2005
ACM
16 years 25 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
178
click to vote
IPTPS
2005
Springer
16 years 23 days ago
2005
Springer
Most earlier studies of DHTs under churn have either depended on simulations as the primary investigation tool, or on establishing bounds for DHTs to function. In this paper, we pr...