1982 search results - page 281 / 397 » Parametricity and dependent types |
MM
2006
ACM
15 years 4 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...
SOUPS
2006
ACM
15 years 4 months ago
2006
ACM
We introduce a new anti-phishing solution, the Web Wallet. The Web Wallet is a browser sidebar which users can use to submit their sensitive information online. It detects phishin...
AICCSA
2005
IEEE
15 years 3 months ago
2005
IEEE
—In the current research, we present an operation framework and protection mechanism to facilitate secure environment to protect mobile agents against tampering. The system depen...
72
Voted
CLUSTER
2005
IEEE
15 years 3 months ago
2005
IEEE
Jobs submitted into a cluster have varying requirements depending on user-specific needs and expectations. Therefore, in utility-driven cluster computing, cluster Resource Manage...
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
When building predictors of disease state based on gene expression data, gene selection is performed in order to achieve a good performance and to identify a relevant subset of ge...