8671 search results - page 250 / 1735 » A generator for hierarchical problems |
138
click to vote
CRYPTO
2000
Springer
15 years 11 months ago
2000
Springer
Under the assumption that solving the discrete logarithm problem modulo an n-bit prime p is hard even when the exponent is a small c-bit number, we construct a new and improved pse...
150
click to vote
IJCAI
2001
15 years 8 months ago
2001
We describe a framework that helps students learn from examples by generating example problem solutions whose level of detail is tailored to the students' domain knowledge. T...
155
click to vote
ACL
2000
15 years 8 months ago
2000
Extractive summarization techniques cannot generate document summaries shorter than a single sentence, something that is often required. An ideal summarization system would unders...
189
click to vote
ACL
2012
13 years 9 months ago
2012
We present a holistic data-driven approach to image description generation, exploiting the vast amount of (noisy) parallel image data and associated natural language descriptions ...
153
click to vote
DDECS
2007
IEEE
16 years 29 days ago
2007
IEEE
— Recently, there is a renewed interest in Automatic Test Pattern Generation (ATPG) based on Boolean Satisfiability (SAT). This results from the availability of very powerful SA...