1021 search results - page 111 / 205 » Concepts in Proof Planning |
EUROCRYPT
2010
Springer
14 years 1 months ago
2010
Springer
We construct the first public-key encryption scheme in the Bounded-Retrieval Model (BRM), providing security against various forms of adversarial “key leakage” attacks. In th...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Valiant’s (2007) model of evolvability models the evolutionary process of acquiring useful functionality as a restricted form of learning from random examples. Linear threshold ...
MICCAI
2003
Springer
14 years 9 months ago
2003
Springer
Anatomic tissue atlases of the brain are widely used within the medical world and are important for identifying tissue and structural aberrations and inconsistencies within an indi...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
In this Special Interest Group (SIG) we plan to focus on discussions and activities surrounding the design of technologies to support families. Many researchers and designers stud...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
We set out to answer a question we were asked by software project management: how much effort remains to be spent on a specific software project and how will that effort be distri...