1743 search results - page 204 / 349 » Generalized Modal Satisfiability |
129
click to vote
TEI
2012
ACM
13 years 11 months ago
2012
ACM
Recent technological advances in input sensing, as well as ultra-small projectors, have opened up new opportunities for interaction – the use of the body itself as both an input...
183
Voted
TEI
2012
ACM
13 years 11 months ago
2012
ACM
Most current mobile technologies require on-screen operations for interacting with devices’ visual contents. However, as a trade-off for mobility, screens usually provide limite...
197
click to vote
KDD
2012
ACM
13 years 6 months ago
2012
ACM
Incomplete data present serious problems when integrating largescale brain imaging data sets from different imaging modalities. In the Alzheimer’s Disease Neuroimaging Initiativ...
124
Voted
SIGECOM
2010
ACM
15 years 8 months ago
2010
ACM
We design and analyze approximately revenue-maximizing auctions in general single-parameter settings. Bidders have publicly observable attributes, and we assume that the valuation...
132
Voted
EUROCRYPT
2001
Springer
15 years 8 months ago
2001
Springer
We formalize the notion of a cryptographic counter, which allows a group of participants to increment and decrement a cryptographic representation of a (hidden) numerical value pri...