537 search results - page 36 / 108 » A Call to Regularity |
ICIP
1997
IEEE
14 years 9 months ago
1997
IEEE
MPEG, the Mowing Picture Experts Group, is a popular compression standard used in many multimedia applications. In video distribution systems, a CBR communications channel is ofte...
MFCS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper deals with updates of XML documents that satisfy a given schema, e.g., a DTD. In this context, when a given update violates the schema, it might be the case th...
ISSRE
2007
IEEE
13 years 9 months ago
2007
IEEE
The traditional method of software robustness evaluation, through error injection, is for errors to be injected at reaching a specific code location. This paper studies what impa...
VLDB
2004
ACM
14 years 8 months ago
2004
ACM
Indatawarehousingapplications,numerousOLAP queries involve the processing of holistic aggregators such as computing the "top n," median, quantiles, etc. In this paper, we...
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...