4609 search results - page 264 / 922 » Automatic Generation of Sigma-Protocols |
156
click to vote
ICAIL
1995
ACM
15 years 10 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
165
click to vote
BMVC
2002
15 years 9 months ago
2002
Recently, there have been several attempts at creating `video textures', that is, synthesising new (potentially infinitely long) video clips based on existing ones. One way t...
159
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper, we present the D-TUNA corpus, which is the first semantically annotated corpus of referring expressions in Dutch. Its primary function is to evaluate and improve th...
180
click to vote
SPLC
2010
15 years 8 months ago
2010
Abstract. In product line engineering various stakeholders like sales and marketing people, product managers, and technical writers are involved in creating and adapting documents ...
159
click to vote
AVI
2004
15 years 8 months ago
2004
Designing effective instructions for everyday products is challenging. One reason is that designers lack a set of design principles for producing visually comprehensible and acces...