1
Published 2005
Table of Contents: ... Approach to Specification and Composition of Web Services -- Applied Stochastic Integer Programming...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... for Sketch Retrieval Based on Linear Programming Classification -- Hierarchical Motion-Compensated Frame...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... by Genetic Programming -- Identifying Single Good Clusters in Data Sets -- A New Simplified Gravitational...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Reversible Abstract Machines -- Synthesizing Loops for Program Inversion -- Frugal Encoding in Reversible...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Dynamical Model for Human Tracking from Videos -- Panoramic Video Coding Using Affine Motion Compensated...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- An Efficient Post-processing Using DCT Domain Projections Onto Convex Sets -- Rank-Ordered Differences...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... -- A MPEG-2 Video Watermarking Algorithm with Compensation in Bit Stream -- Reversible Semi-fragile...
View full text
Electronic eBook