Søgeresultater - code compression program composition programs https

Søg alternativer:
composition programs » compensation programs , composition problem , compression programs
program composition » process composition , protein composition , proximate composition
compression program » compression programs , comprehensions program , compression process
code compression » model compression , cord compression , file compression
https » http

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

Udgivet 2008

Indholdsfortegnelse: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Contributions -- Automated Compositional Reasoning of Intuitionistically Closed Regular Properties -- Antimirov...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... -- Alphabet Partitioning for Compressed Rank/Select and Applications -- Entropy-Bounded Representation...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “...Algorithms and Data Structures -- Efficient Compression of Web Graphs -- Damaged BZip Files...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Photographic Composites of People -- Session I: Watermark Security -- (In)Security of an Efficient...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... -- Component Composition Preserving Behavioural Contracts Based on Communication Traces -- Strong Retiming...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Based Image Difference Metric in Relation to Perceived Compression Artifacts -- Visualization II...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... Architectures: Connecting the Layers -- Goal-Driven Composition of Business Process Models -- Integrating...”
Få fuldtekst

Electronisk eBog

Hydrogen Materials Science and Chemistry of Carbon Nanomaterials

Udgivet 2007

Indholdsfortegnelse: “... DYNAMIC COMPRESSION UP TO 300 KBAR -- GAS INTERSTITIAL FULLERENES PRECIPITATED FROM THE SOLUTION OF C60...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... Compressible Processing Times -- LS-SVM Based on Chaotic Particle Swarm Optimization with Simulated Annealing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2012

Indholdsfortegnelse: “... Program Analysis -- Taint Analysis of Security Code in the KLEE Symbolic Execution Engine -- A Generic...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Investigation on the Behaviour of CFRP Laminated Composites under Impact and Compression After Impact (CAI...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... Behavioral Distances, Compositionally -- Rewriting Guarded Negation Queries -- Parity Games and Propositional...”
Få fuldtekst

Electronisk eBog

Cellular Aspects of Wood Formation

Udgivet 2013

Indholdsfortegnelse: “... -- Biology and Chemistry of Tension Wood -- Formation and Structure of Compression Wood....”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “.... Quadratic Residue Cayley Graphs on Composite Modulus -- Chapter 20. A dynamic programming algorithm...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”
Få fuldtekst

Electronisk eBog

Advances in Intelligent Data Analysis XI 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012, Proceedings /

Udgivet 2012

Indholdsfortegnelse: “... -- An Evolutionary Based Clustering Algorithm Applied to Data Compression for Industrial Systems -- Multi-label LeGo...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... in Reconfigurable Computing Systems -- Test Data Compression Using Four-Coded and Sparse Storage for Testing...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning