608 search results - page 116 / 122 » Interactive Oracle Proofs |
FOCS
2007
IEEE
14 years 4 months ago
2007
IEEE
We introduce a new primitive called Intrusion-Resilient Secret Sharing (IRSS), whose security proof exploits the fact that there exist functions which can be efficiently computed ...
ICARCV
2006
IEEE
14 years 4 months ago
2006
IEEE
– Smart camera, or an intelligent camera, is an embedded vision system which captures and processes image to extract application-specific information in real time. Smart cameras ...
VISUALIZATION
2000
IEEE
14 years 2 months ago
2000
IEEE
Visualization algorithms have seen substantial improvements in the past several years. However, very few algorithms have been developed for directly studying data in dimensions hi...
CCR
2010
13 years 10 months ago
2010
The analysis of social and technological networks has attracted a lot of attention as social networking applications and mobile sensing devices have given us a wealth of real data...
CORR
2012
Springer
12 years 5 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...