4609 search results - page 26 / 922 » Automatic Generation of Sigma-Protocols |
181
click to vote
TASLP
2011
15 years 26 days ago
2011
—This paper presents a novel student model intended to automate word-list-based reading assessments in a classroom setting, specifically for a student population that includes b...
159
click to vote
DL
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes research on the automatic generation of hypermedia or Web-based presentations for semi-structured data resulting from ad-hoc queries. We identify how differen...
243
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
168
click to vote
MODELS
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
149
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
We conducted two studies that demonstrate automatically generated interfaces can be more usable than interfaces created by human designers. The first study shows that users of aut...