3628 search results - page 253 / 726 » The Decision Diffie-Hellman Problem |
135
click to vote
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
147
click to vote
IPM
2006
15 years 4 months ago
2006
This paper presents a probabilistic information retrieval framework in which the retrieval problem is formally treated as a statistical decision problem. In this framework, querie...
143
click to vote
SIAMJO
2002
15 years 4 months ago
2002
We outline a new approach for radiosurgery treatment planning, based on solving a series of optimization problems. We consider a specific treatment planning problem for a speciali...
184
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Learning theory has largely focused on two main learning scenarios. The first is the classical statistical setting where instances are drawn i.i.d. from a fixed distribution and...
133
click to vote
KDD
2008
ACM
16 years 5 months ago
2008
ACM
IT problem management calls for quick identification of resolvers to reported problems. The efficiency of this process highly depends on ticket routing--transferring problem ticke...