Hakutulokset - integer processing programs compositional program https

Tarkoititko:
programs compositional » program composition , program computational , problem compositional
compositional program » composition programs , computational program , compositional problems
processing programs » processing programmed , processing problems , processing products
integer processing » integrated processing , water processing , filter processing
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 /

Julkaistu 2008

Sisällysluettelo: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Hae kokoteksti

Elektroninen E-kirja

Advances in Natural Language Processing 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...”
Hae kokoteksti

Elektroninen E-kirja

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”
Hae kokoteksti

Elektroninen E-kirja

Modeling, Simulation and Optimization of Complex Processes Proceedings of the International...

Julkaistu 2005

Sisällysluettelo: “... Approach to Specification and Composition of Web Services -- Applied Stochastic Integer Programming...”
Hae kokoteksti

Elektroninen E-kirja

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... of Exposing Calls and Returns -- A Compositional Approach to the Stochastic Dynamics of Gene Networks...”
Hae kokoteksti

Elektroninen E-kirja

Advances in Multimedia Information Processing - PCM 2006 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... Model -- 16×16 Integer Cosine Transform for HD Video Coding -- Heegard-Berger Video Coding Using LMMSE...”
Hae kokoteksti

Elektroninen E-kirja

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice o...

Julkaistu 2013

Sisällysluettelo: “... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”
Hae kokoteksti

Elektroninen E-kirja

Advances in Machine Vision, Image Processing, and Pattern Analysis International Workshop...

Julkaistu 2006

Sisällysluettelo: “... by Genetic Programming -- Identifying Single Good Clusters in Data Sets -- A New Simplified Gravitational...”
Hae kokoteksti

Elektroninen E-kirja

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Julkaistu 2005

Sisällysluettelo: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Hae kokoteksti

Elektroninen E-kirja

Transactions on Petri Nets and Other Models of Concurrency VIII

Julkaistu 2013

Sisällysluettelo: “... Wireless Sensor Networks with VeriSensor: An Integrated Workflow -- Local State Refinement and Composition...”
Hae kokoteksti

Elektroninen E-kirja

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... and Presburger Arithmetic -- Synthesising Succinct Strategies in Safety and Reachability Games -- Integer Vector...”
Hae kokoteksti

Elektroninen E-kirja

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

Julkaistu 2008

Sisällysluettelo: “... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...”
Hae kokoteksti

Elektroninen E-kirja

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Julkaistu 2014

Sisällysluettelo: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
Hae kokoteksti

Elektroninen E-kirja

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2 /

Julkaistu 2015

Sisällysluettelo: “... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...”
Hae kokoteksti

Elektroninen E-kirja

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Julkaistu 2014

Sisällysluettelo: “... -- A Fuzzy Programming Approach for Bi-level Stochastic Programming -- Implementation of Intelligent...”
Hae kokoteksti

Elektroninen E-kirja

Computer Security - ESORICS 2010 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings /

Julkaistu 2010

Sisällysluettelo: “... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...”
Hae kokoteksti

Elektroninen E-kirja

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Hae kokoteksti

Elektroninen E-kirja

Modelling, Computation and Optimization in Information Systems and Management Sciences Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008, Pr...

Julkaistu 2008

Sisällysluettelo: “... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”
Hae kokoteksti

Elektroninen E-kirja

Artificial Intelligence in Theory and Practice II IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy /

Julkaistu 2008

Sisällysluettelo: “... Mining -- Mining Fuzzy Association Rules from Composite Items -- P-Prism: A Computationally Efficient...”
Hae kokoteksti

Elektroninen E-kirja

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua