Výsledky vyhledávání - iterative selection program program ((constructing https) OR (construction https))

Alternativní vyhledávání:
iterative selection » interactive selection , iterative detection , negative selection
constructing https » consulting https , constructing better , instruction https
construction https » instruction https , conservation https , construction history
selection program » selection programs , selection programme , detection program
program program » programs program , programming program

Mathematics of Program Construction 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings /

Vydáno 2008

Obsah: “...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”
Získat plný text

Elektronický zdroj E-kniha

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint...

Vydáno 2014

Obsah: “... Construction of Program Representations for Sparse Dataflow Analyses -- Inter-iteration Scalar Replacement...”
Získat plný text

Elektronický zdroj E-kniha

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European...

Vydáno 2006

Obsah: “...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”
Získat plný text

Elektronický zdroj E-kniha

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference...

Vydáno 2013

Obsah: “... Preserving Interpolation -- Asynchronous Multi-core Incremental SAT Solving -- Model-Checking Iterated Games...”
Získat plný text

Elektronický zdroj E-kniha

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference...

Vydáno 2005

Obsah: “... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”
Získat plný text

Elektronický zdroj E-kniha

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Vydáno 2008

Obsah: “...Invited Talks -- Airline Scheduling: Accomplishments, Opportunities and Challenges -- Selected...”
Získat plný text

Elektronický zdroj E-kniha

Dynamics of Civil Structures, Volume 2 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015 /

Vydáno 2015

Obsah: “... approach for damage detection and classification -- Iterative spatial compressive sensing strategy...”
Získat plný text

Elektronický zdroj E-kniha

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Vydáno 2005

Obsah: “... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...”
Získat plný text

Elektronický zdroj E-kniha

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Vydáno 2007

Obsah: “... Discontinuous Viscosities -- The Impact of Parallel Programming Models on the Performance of Iterative Linear...”
Získat plný text

Elektronický zdroj E-kniha

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers /

Vydáno 2005

Obsah: “... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”
Získat plný text

Elektronický zdroj E-kniha

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Vydáno 2010

Obsah: “... of Multiplication -- Modelling the LLL Algorithm by Sandpiles -- Communication-Efficient Construction of the Plane...”
Získat plný text

Elektronický zdroj E-kniha

Advances in Artificial Intelligence: Theories, Models, and Applications 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings /

Vydáno 2010

Obsah: “... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Získat plný text

Elektronický zdroj E-kniha

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers /

Vydáno 2005

Obsah: “... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...”
Získat plný text

Elektronický zdroj E-kniha

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /

Vydáno 2005

Obsah: “...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...”
Získat plný text

Elektronický zdroj E-kniha

Advanced Techniques in Computing Sciences and Software Engineering

Vydáno 2010

Obsah: “... algorithm for Wireless Mesh Network -- Investigations into Implementation of an Iterative Feedback Tuning...”
Získat plný text

Elektronický zdroj E-kniha

Information Security Applications 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers /

Vydáno 2007

Obsah: “... -- Convertible Undeniable Proxy Signatures: Security Models and Efficient Construction -- Secret Signatures: How...”
Získat plný text

Elektronický zdroj E-kniha

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings /

Vydáno 2008

Obsah: “... for NC k -- Extensional Uniformity for Boolean Circuits -- Pure Pointer Programs with Iteration...”
Získat plný text

Elektronický zdroj E-kniha

Fast Software Encryption 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers /

Vydáno 2006

Obsah: “... the ICE – Finding Multicollisions in Iterated Concatenated and Expanded (ICE) Hash Functions -- Proposals...”
Získat plný text

Elektronický zdroj E-kniha

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Vydáno 2010

Obsah: “... -- Research on the Optimal Transit Route Selection Model and Automatic Inquiry System -- Optimal Control...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání