Search Results - program method https compression programs https

1

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

Published 2008

Table of Contents: “... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”
View full text

Electronic eBook

2

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Published 2007

Table of Contents: “... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...”
View full text

Electronic eBook

3

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Published 2010

Table of Contents: “... with Datalog -- Magically Constraining the Inverse Method Using Dynamic Polarity Assignment -- Lazy Abstraction...”
View full text

Electronic eBook

4

Computational Fluid Dynamics for Engineers From Panel to Navier-Stokes Methods with Computer Programs /

by Cebeci, Tuncer., Cebeci, Tuncer., Shao, Jian P., Kafyeke, Fassi., Laurendeau, Eric.
Published 2005

Table of Contents: “...Conservation Equations -- Turbulence Models -- Numerical Methods for Model Parabolic and Elliptic...”
View full text

Electronic eBook

5

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference...

Published 2013

Table of Contents: “... for Verification of Data-Centric Processes -- Bounded Proofs and Step Frames -- Compression of Propositional...”
View full text

Electronic eBook

6

Optimization with PDE Constraints ESF Networking Program 'OPTPDE' /

Published 2014

Table of Contents: “...Solution of 2D Contact Shape Optimization Problems -- Phase Field Methods for Binary Recovery...”
View full text

Electronic eBook

7

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers /

Published 2007

Table of Contents: “... for Coordinating Data-Parallel Programs -- Formal Methods in Industrial Software Standards Enforcement -- Visual...”
View full text

Electronic eBook

8

Parsing Techniques A Practical Guide /

by Grune, Dick., Grune, Dick., Jacobs, Ceriel J.H.
Published 2008

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

9

Zero-Carbon Energy Kyoto 2012 Special Edition of the Joint Symposium "Energy Science in the Age of Global Warming" of the Kyoto University Global COE Program and the JGSEE/CEE-KMUTT /

Published 2013

Table of Contents: “... Method of Online Community for Behavior Change Focusing on Participants’ Relationship -- Effect of Water...”
View full text

Electronic eBook

10

Topological Methods in Data Analysis and Visualization III Theory, Algorithms, and Applications /

Published 2014

Table of Contents: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
View full text

Electronic eBook

11

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Published 2010

Table of Contents: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
View full text

Electronic eBook

12

Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings /

Published 2010

Table of Contents: “... -- Compressed Learning with Regular Concept -- A Lower Bound for Learning Distributions Generated...”
View full text

Electronic eBook

13

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...”
View full text

Electronic eBook

14

Automotive Model Predictive Control Models, Methods and Applications /

Published 2010

Table of Contents: “... of Homogeneous Charge Compression Ignition (HCCI) Engine Dynamics -- II: Methods -- An Overview of Nonlinear...”
View full text

Electronic eBook

15

Algorithmic Learning in a Random World

by Vovk, Vladimir., Vovk, Vladimir., Gammerman, Alex., Shafer, Glenn.
Published 2005

Table of Contents: “... predictors -- Beyond exchangeability -- On-line compression modeling I: conformal prediction -- On-line...”
View full text

Electronic eBook

16

High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings /

Published 2005

Table of Contents: “... Practical Method for Quickly Evaluating Program Optimizations -- Efficient Sampling Startup for Sampled...”
View full text

Electronic eBook

17

Algorithmic Aspects in Information and Management Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006, Proceedings /

Published 2006

Table of Contents: “... Embedding of Direction-Preserving Correspondence over Integrally Convex Set -- Linear Programming Polytope...”
View full text

Electronic eBook

18

Computer Vision -- ACCV 2009 9th Asian Conference on Computer Vision, Xi'an, China, September 23-27, 2009, Revised Selected Papers, Part III /

Published 2010

Table of Contents: “... and Interpolation -- Color Correction and Compression for Multi-view Video Using H.264 Features -- A Subjective...”
View full text

Electronic eBook

19

Image and Signal Processing 3rd International Conference, ICISP 2008, Cherbourg-Octeville, France, July 1-3, 2008, Proceedings /

Published 2008

Table of Contents: “... Compression in Wavelet Domain -- Image Segmentation -- A People Counting System Based on Dense and Close...”
View full text

Electronic eBook

20

Experimental Algorithms 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings /

Published 2010

Table of Contents: “... Transfers -- Distributed Time-Dependent Contraction Hierarchies -- Practical Compressed Suffix Trees...”
View full text

Electronic eBook

Narrow Search