8874 search results - page 228 / 1775 » A New Implementation of Automath |
153
click to vote
IS
2011
14 years 11 months ago
2011
We consider the determinism checking of XML Schema content models, as required by the W3C Recommendation. We argue that currently applied solutions have flaws and make processors...
190
Voted
HOTNETS
2010
14 years 11 months ago
2010
Cloud computing environments impose new challenges on access control techniques due to multi-tenancy, the growing scale and dynamicity of hosts within the cloud infrastructure, an...
148
click to vote
TVLSI
2010
14 years 11 months ago
2010
In many applications, a reduction of the amount of the original data or a representation of the original data by a small set of variables is often required. Among many techniques, ...
130
Voted
TVLSI
2010
14 years 11 months ago
2010
Hardware debuggers and logic analyzers must be able to record a continuous trace of data. Since the trace data are tremendous, to save space, these traces are often compressed. The...
150
Voted
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
- In multiview video coding, disparity compensated prediction exploits the correlation among different views. A common approach is to use the conventional motion compensated predic...