4099 search results - page 251 / 820 » A Framework for Interactive Proof |
208
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Recursive reasoning of the form what do I think that you think that I think (and so on) arises often while acting rationally in multiagent settings. Several multiagent decision-ma...
186
click to vote
MMS
2008
15 years 6 months ago
2008
We address the challenge of semantic gap reduction for image retrieval through an improved SVM-based active relevance feedback framework, together with a hybrid visual and concept...
151
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
: Bioluminescence tomography (BLT) is a new molecular imaging tool. Using a modality fusion approach, we built the first BLT prototype to combine BLI data and micro-CT images for p...
152
click to vote
CANS
2009
Springer
16 years 1 months ago
2009
Springer
We propose an efficient blind certification protocol with interesting properties. It falls in the Groth-Sahai framework for witness-indistinguishable proofs, thus extended to a ce...
178
click to vote
TPHOL
2007
IEEE
16 years 25 days ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...