4609 search results - page 303 / 922 » Automatic Generation of Sigma-Protocols |
165
click to vote
MICS
2010
15 years 5 months ago
2010
Strategies specify how a wide range of exercises can be solved incrementally, such as bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating wit...
183
click to vote
IMC
2010
ACM
15 years 4 months ago
2010
ACM
An Internet hitlist is a set of addresses that cover and can represent the the Internet as a whole. Hitlists have long been used in studies of Internet topology, reachability, and...
298
click to vote
TSE
2010
15 years 1 months ago
2010
Abstract-- Code and design smells are poor solutions to recurring implementation and design problems. They may hinder the evolution of a system by making it hard for software engin...
185
click to vote
FGR
2011
IEEE
14 years 10 months ago
2011
IEEE
— There are various scenarios where finding the most similar expression is the requirement rather than just classifying one, for example, facial expression transfer and facial e...
211
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Patients’ basic understanding of clinical events has been shown to dramatically improve patient care. We propose that the automatic generation of very short microexplanations, s...