3888 search results - page 60 / 778 » Change-Driven Model Transformations |
121
click to vote
PLILP
1995
Springer
15 years 7 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
140
click to vote
ACMSE
2008
ACM
15 years 6 months ago
2008
ACM
Indirection exists between the virtual objects that form the computer interface and the input devices through which the user interacts to manipulate these objects. This paper stud...
127
click to vote
JMM2
2006
15 years 3 months ago
2006
Optical Characters Recognition (OCR) has been an active subject of research since the early days of computers. Despite the age of the subject, it remains one of the most challengin...
142
click to vote
JUCS
2006
15 years 3 months ago
2006
: To date, one of the main aims of the World Wide Web has been to provide users with information. In addition to private homepages, large professional information providers, includ...
143
click to vote
TASLP
2008
15 years 3 months ago
2008
In this paper, we introduce cross-multiplicative transfer function (CMTF) approximation for modeling linear systems in the short-time Fourier transform (STFT) domain. We assume tha...