Sciweavers

376 search results - page 38 / 76
» General Reversibility
Sort
View
WCRE
2007
IEEE
14 years 2 months ago
A Study of Consistent and Inconsistent Changes to Code Clones
Code Cloning is regarded as a threat to software maintenance, because it is generally assumed that a change to a code clone usually has to be applied to the other clones of the cl...
Jens Krinke
ICMCS
2006
IEEE
120views Multimedia» more  ICMCS 2006»
14 years 2 months ago
Syndrome-Based Light-Weight Video Coding for Mobile Wireless Application
In conventional video coding, the complexity of an encoder is generally much higher than that of a decoder because of operations such as motion estimation consume significant com...
Min Wu, Guogang Hua, Chang Chen
ICMCS
2006
IEEE
144views Multimedia» more  ICMCS 2006»
14 years 2 months ago
Data Embedding in MPEG-1/Audio Layer II Compressed Domain using Side Information
In this work, we propose a data embedding scheme in MPEG1/Audio Layer II compressed domain. Data embedding is conducted every AAU by using side information (location of sub-band a...
Akihiro Matsuoka, Kiyoshi Tanaka, Akio Yoneyama, Y...
CALCO
2005
Springer
85views Mathematics» more  CALCO 2005»
14 years 2 months ago
Using Proofs by Coinduction to Find "Traditional" Proofs
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...
Clemens Grabmayer
DOCENG
2005
ACM
13 years 10 months ago
Compiling XPath for streaming access policy
We show how the full XPath language can be compiled into a minimal subset suited for stream-based evaluation. Specifically, we show how XPath normalization into a core language a...
Pierre Genevès, Kristoffer Høgsbro R...