6020 search results - page 676 / 1204 » A New Approach to Model Counting |
194
click to vote
COOPIS
2004
IEEE
15 years 11 months ago
2004
IEEE
IPR (Intellectual Property Rights) Management is a complex domain. The IPR field is structured by evolving regulations, practises, business models,... Therefore, DRMS (Digital Righ...
217
click to vote
CTRSA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Known compact e-cash schemes are constructed from signature schemes with efficient protocols and verifiable random functions. In this paper, we introduce a different ap...
210
click to vote
AMW
2010
15 years 9 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
191
click to vote
UAI
2003
15 years 8 months ago
2003
Currently, there is renewed interest in the problem, raised by Shafer in 1985, of updating probabilities when observations are incomplete (or setvalued). This is a fundamental pro...
213
click to vote
PR
2006
15 years 7 months ago
2006
Sign language communication includes not only lexical sign gestures but also grammatical processes which represent inflections through systematic variations in sign appearance. We...