9504 search results - page 241 / 1901 » Dynamic Substitution Model |
218
click to vote
LCPC
1995
Springer
15 years 10 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
193
click to vote
MEDIAFORENSICS
2010
15 years 8 months ago
2010
In the paper we present a watermarking scheme developed to meet the specific requirements of audio annotation watermarking robust against DA/AD conversion (watermark detection aft...
197
Voted
ICWS
2007
IEEE
15 years 8 months ago
2007
IEEE
Business protocols are becoming a necessary part of Web services description [4]. The work presented in [4] investigates mechanisms for analyzing the compatibility and the substit...
190
click to vote
ECIS
2003
15 years 8 months ago
2003
Researches that have recently investigated the impact of developments in Information Technologies (IT) on human capital in the banking industry analysed only marginally the evolut...
161
click to vote
JSYML
2008
15 years 7 months ago
2008
An important technique in large cardinal set theory is that of extending an elementary embedding j : M N between inner models to an elementary embedding j : M[G] N[G] between ge...