5570 search results - page 680 / 1114 » Applications of Fair Testing |
191
click to vote
ESORICS
2010
Springer
15 years 8 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
200
Voted
ICML
2010
IEEE
15 years 8 months ago
2010
IEEE
Learning temporal causal graph structures from multivariate time-series data reveals important dependency relationships between current observations and histories, and provides a ...
196
click to vote
ASSETS
2010
ACM
15 years 7 months ago
2010
ACM
We present a study focusing on the usability of a wayfinding and localization system for persons with visual impairment. This system uses special color markers, placed at key loca...
153
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
Co-clustering can be viewed as a two-way (bilinear) factorization of a large data matrix into dense/uniform and possibly overlapping submatrix factors (co-clusters). This combinat...
212
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
Sparse representation theory has been increasingly used in the fields of signal processing and machine learning. The standard sparse models are not invariant to spatial transform...