2940 search results - page 410 / 588 » Relational Parametricity and Control |
157
click to vote
CHI
2010
ACM
16 years 7 days ago
2010
ACM
Interest has been growing within HCI on the use of machine learning and reasoning in applications to classify such hidden states as user intentions, based on observations. HCI res...
160
click to vote
FASE
2010
Springer
16 years 6 days ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
142
click to vote
ACSAC
2009
IEEE
16 years 6 days ago
2009
IEEE
—Smartphones are now ubiquitous. However, the security requirements of these relatively new systems and the applications they support are still being understood. As a result, the...
136
click to vote
ACSC
2009
IEEE
16 years 6 days ago
2009
IEEE
Microdata protection is a hot topic in the field of Statistical Disclosure Control, which has gained special interest after the disclosure of 658000 queries by the America Online...
156
click to vote
ICIAP
2009
ACM
16 years 5 days ago
2009
ACM
Multi-modality is a fundamental feature that characterizes biological systems and lets them achieve high robustness in understanding skills while coping with uncertainty. Relativel...