3921 search results - page 313 / 785 » Transforming Models with ATL |
155
Voted
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
A perturbation model for generating synthetic textlines from existing cursively handwritten lines of text produced by human writers is presented. Our purpose is to improve the per...
161
click to vote
WSC
1997
15 years 8 months ago
1997
Active and cooperative learning methods represent a paradigm shift in the delivery of engineering education. These techniques recognize that the passive model of the typical colle...
205
click to vote
ECEASST
2006
15 years 6 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
180
click to vote
ACISP
2009
Springer
16 years 1 months ago
2009
Springer
In the setting of identity-based encryption with multiple trusted authorities, TA anonymity formally models the inability of an adversary to distinguish two ciphertexts correspondi...
163
click to vote
PODS
1989
ACM
15 years 10 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...