Sciweavers

2957 search results - page 331 / 592
» Code analysis and CS-XML
Sort
View
ICMCS
2010
IEEE
150views Multimedia» more  ICMCS 2010»
15 years 4 months ago
H.264 stream replacement watermarking with CABAC encoding
This paper describes a watermarking method to directly embed information into a CABAC entropy coded H.264/AVC stream. In theory, modification of a part of an arithmetically coded ...
Dekun Zou, Jeffrey A. Bloom
JUCS
2006
175views more  JUCS 2006»
15 years 4 months ago
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
Anderson Faustino da Silva, Vítor Santos Co...
CONCURRENCY
2000
155views more  CONCURRENCY 2000»
15 years 4 months ago
Annotating Java class files with virtual registers for performance
The Java .class file is a compact encoding of programs for a stack-based virtual machine. It is intended for use in a networked environment, which requires machine independence an...
Joel Jones, Samuel N. Kamin
ENTCS
2007
126views more  ENTCS 2007»
15 years 4 months ago
Context Dependent Procedures and Computed Types in -eriFun
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
Andreas Schlosser, Christoph Walther, Michael Gond...
PUC
2008
87views more  PUC 2008»
15 years 3 months ago
Multimodal support to group dynamics
The complexity of group dynamics occurring in small group interactions often hinders the performance of teams. The availability of rich multimodal information about what is going o...
Fabio Pianesi, Massimo Zancanaro, Elena Not, Chiar...