5246 search results - page 841 / 1050 » Sanitization models and their limitations |
252
click to vote
ACMSE
2008
ACM
15 years 8 months ago
2008
ACM
Biometrics is an emerging field via the automated use of unique and measurable physiological or behavioral characteristics to determine or verify identity. Biometrics has a variet...
153
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper studies price properties in continuous double-auction markets in the presence of marketmakers, agents with special responsibilities for maintaining liquidity and orderl...
164
click to vote
ICADL
2010
Springer
15 years 8 months ago
2010
Springer
Can the speakers of small languages, which may be remote, unwritten, and endangered, be trained to create an archival record of their oral literature, with only limited external su...
157
click to vote
CHI
2008
ACM
15 years 8 months ago
2008
ACM
Hierarchical menus are now ubiquitous. The performance of the menu depends on many factors: structure, layout, colors and so on. There has been extensive research on novel menus, ...
180
click to vote
MMB
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...