3888 search results - page 631 / 778 » Change-Driven Model Transformations |
140
click to vote
ADC
2000
Springer
15 years 10 months ago
2000
Springer
Annotated speech corpora are databases consisting of signal data along with time-aligned symbolic ‘transcriptions’. Such databases are typically multidimensional, heterogeneou...
157
click to vote
APN
2000
Springer
15 years 10 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
200
click to vote
FOCS
1999
IEEE
15 years 10 months ago
1999
IEEE
We introduce the notion of non-malleable noninteractive zero-knowledge (NIZK) proof systems. We show how to transform any ordinary NIZK proof system into one that has strong non-m...
152
click to vote
SIGGRAPH
1999
ACM
15 years 10 months ago
1999
ACM
We generalize basic signal processing tools such as downsampling, upsampling, and filters to irregular connectivity triangle meshes. This is accomplished through the design of a ...
140
Voted
CORR
2000
Springer
15 years 5 months ago
2000
Springer
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...