4609 search results - page 26 / 922 » Automatic Generation of Sigma-Protocols |
160
Voted
TASLP
2011
14 years 11 months 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...
141
click to vote
DL
2000
Springer
15 years 9 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...
212
Voted
VL
2010
IEEE
15 years 3 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...
149
click to vote
MODELS
2007
Springer
15 years 10 months 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 ...
134
Voted
CHI
2007
ACM
16 years 5 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...