Search Results - code compression program compositional program https

Search alternatives:
program compositional » program composition , program computational , problem compositional
compositional program » composition programs , computational program , compositional problems
compression program » compression programs , comprehensions program , compression process
code compression » model compression , cord compression , file compression
program https » programs https , program has , program help

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Published 2008

Table of Contents: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
View full text

Electronic eBook

Principles and Practice of Constraint Programming - CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”
View full text

Electronic eBook

Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings /

Published 2008

Table of Contents: “... Contributions -- Automated Compositional Reasoning of Intuitionistically Closed Regular Properties -- Antimirov...”
View full text

Electronic eBook

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... -- Alphabet Partitioning for Compressed Rank/Select and Applications -- Entropy-Bounded Representation...”
View full text

Electronic eBook

Computing and Combinatorics 14th International Conference, COCOON 2008 Dalian, China, June 27-29, 2008, Proceedings /

Published 2008

Table of Contents: “...Algorithms and Data Structures -- Efficient Compression of Web Graphs -- Damaged BZip Files...”
View full text

Electronic eBook

Digital Watermarking 6th International Workshop, IWDW 2007 Guangzhou, China, December 3-5, 2007, Proceedings /

Published 2008

Table of Contents: “... Photographic Composites of People -- Session I: Watermark Security -- (In)Security of an Efficient...”
View full text

Electronic eBook

Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... -- Component Composition Preserving Behavioural Contracts Based on Communication Traces -- Strong Retiming...”
View full text

Electronic eBook

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... Based Image Difference Metric in Relation to Perceived Compression Artifacts -- Visualization II...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Published 2007

Table of Contents: “... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”
View full text

Electronic eBook

Service-Oriented Computing--ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers /

Published 2014

Table of Contents: “... Architectures: Connecting the Layers -- Goal-Driven Composition of Business Process Models -- Integrating...”
View full text

Electronic eBook

Hydrogen Materials Science and Chemistry of Carbon Nanomaterials

Published 2007

Table of Contents: “... DYNAMIC COMPRESSION UP TO 300 KBAR -- GAS INTERSTITIAL FULLERENES PRECIPITATED FROM THE SOLUTION OF C60...”
View full text

Electronic eBook

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Compressible Processing Times -- LS-SVM Based on Chaotic Particle Swarm Optimization with Simulated Annealing...”
View full text

Electronic eBook

Information and Communications Security 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012, Proceedings /

Published 2012

Table of Contents: “... Program Analysis -- Taint Analysis of Security Code in the KLEE Symbolic Execution Engine -- A Generic...”
View full text

Electronic eBook

EKC2008 Proceedings of the EU-Korea Conference on Science and Technology

Published 2008

Table of Contents: “... Investigation on the Behaviour of CFRP Laminated Composites under Impact and Compression After Impact (CAI...”
View full text

Electronic eBook

Cellular Aspects of Wood Formation

Published 2013

Table of Contents: “... -- Biology and Chemistry of Tension Wood -- Formation and Structure of Compression Wood....”
View full text

Electronic eBook

Mathematics and Computing ICMC, Haldia, India, January 2015 /

Published 2015

Table of Contents: “.... Quadratic Residue Cayley Graphs on Composite Modulus -- Chapter 20. A dynamic programming algorithm...”
View full text

Electronic eBook

Computer Vision -- ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... Camera for Non-linear Motion -- Error-Tolerant Image Compositing -- Blind Reflectometry -- Photometric...”
View full text

Electronic eBook

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Published 2010

Table of Contents: “... in Reconfigurable Computing Systems -- Test Data Compression Using Four-Coded and Sparse Storage for Testing...”
View full text

Electronic eBook

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings /

Published 2013

Table of Contents: “... Behavioral Distances, Compositionally -- Rewriting Guarded Negation Queries -- Parity Games and Propositional...”
View full text

Electronic eBook

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Published 2013

Table of Contents: “... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”
View full text

Electronic eBook

Narrow Search