Resultados de búsqueda - code compression program compositional program https

Buscar alternativas:
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 /

Publicado 2008

Tabla de Contenidos: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Enlace del recurso

Electrónico eBook

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

Publicado 2007

Tabla de Contenidos: “... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”
Enlace del recurso

Electrónico eBook

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

Publicado 2008

Tabla de Contenidos: “... Contributions -- Automated Compositional Reasoning of Intuitionistically Closed Regular Properties -- Antimirov...”
Enlace del recurso

Electrónico eBook

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

Publicado 2010

Tabla de Contenidos: “... -- Alphabet Partitioning for Compressed Rank/Select and Applications -- Entropy-Bounded Representation...”
Enlace del recurso

Electrónico eBook

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

Publicado 2008

Tabla de Contenidos: “...Algorithms and Data Structures -- Efficient Compression of Web Graphs -- Damaged BZip Files...”
Enlace del recurso

Electrónico eBook

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

Publicado 2008

Tabla de Contenidos: “... Photographic Composites of People -- Session I: Watermark Security -- (In)Security of an Efficient...”
Enlace del recurso

Electrónico eBook

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

Publicado 2006

Tabla de Contenidos: “... -- Component Composition Preserving Behavioural Contracts Based on Communication Traces -- Strong Retiming...”
Enlace del recurso

Electrónico eBook

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

Publicado 2010

Tabla de Contenidos: “... Based Image Difference Metric in Relation to Perceived Compression Artifacts -- Visualization II...”
Enlace del recurso

Electrónico eBook

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

Publicado 2007

Tabla de Contenidos: “... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”
Enlace del recurso

Electrónico eBook

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

Publicado 2014

Tabla de Contenidos: “... Architectures: Connecting the Layers -- Goal-Driven Composition of Business Process Models -- Integrating...”
Enlace del recurso

Electrónico eBook

Hydrogen Materials Science and Chemistry of Carbon Nanomaterials

Publicado 2007

Tabla de Contenidos: “... DYNAMIC COMPRESSION UP TO 300 KBAR -- GAS INTERSTITIAL FULLERENES PRECIPITATED FROM THE SOLUTION OF C60...”
Enlace del recurso

Electrónico eBook

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

Publicado 2006

Tabla de Contenidos: “... Compressible Processing Times -- LS-SVM Based on Chaotic Particle Swarm Optimization with Simulated Annealing...”
Enlace del recurso

Electrónico eBook

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

Publicado 2012

Tabla de Contenidos: “... Program Analysis -- Taint Analysis of Security Code in the KLEE Symbolic Execution Engine -- A Generic...”
Enlace del recurso

Electrónico eBook

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

Publicado 2008

Tabla de Contenidos: “... Investigation on the Behaviour of CFRP Laminated Composites under Impact and Compression After Impact (CAI...”
Enlace del recurso

Electrónico eBook

Cellular Aspects of Wood Formation

Publicado 2013

Tabla de Contenidos: “... -- Biology and Chemistry of Tension Wood -- Formation and Structure of Compression Wood....”
Enlace del recurso

Electrónico eBook

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

Publicado 2015

Tabla de Contenidos: “.... Quadratic Residue Cayley Graphs on Composite Modulus -- Chapter 20. A dynamic programming algorithm...”
Enlace del recurso

Electrónico eBook

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

Publicado 2010

Tabla de Contenidos: “... Camera for Non-linear Motion -- Error-Tolerant Image Compositing -- Blind Reflectometry -- Photometric...”
Enlace del recurso

Electrónico eBook

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

Publicado 2010

Tabla de Contenidos: “... in Reconfigurable Computing Systems -- Test Data Compression Using Four-Coded and Sparse Storage for Testing...”
Enlace del recurso

Electrónico eBook

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

Publicado 2013

Tabla de Contenidos: “... Behavioral Distances, Compositionally -- Rewriting Guarded Negation Queries -- Parity Games and Propositional...”
Enlace del recurso

Electrónico eBook

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

Publicado 2013

Tabla de Contenidos: “... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados