Search Results - integrated iterative programming programming constructs https

Search alternatives:
programming programming » programming programmed , programming program
programming constructs » programming concepts , programming contest
iterative programming » interactive programming , imperative programming , generative programming
integrated iterative » integrated deliberative , integrated enterprise , integrated operations
constructs https » construction https , constructs loops , constructs arti

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

Published 2008

Table of Contents: “... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”
View full text

Electronic eBook

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Published 2008

Table of Contents: “... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “... Preserving Interpolation -- Asynchronous Multi-core Incremental SAT Solving -- Model-Checking Iterated Games...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... for Remote Tool Integration -- FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs...”
View full text

Electronic eBook

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Published 2007

Table of Contents: “... Bytecode -- Services -- A Service Composition Construct to Support Iterative Development -- Correlation...”
View full text

Electronic eBook

On the Move to Meaningful Internet Systems: OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 1010, Proceeding...

Published 2010

Table of Contents: “...: Preferences and Attitudes for Advanced Information Provision -- Annotations -- Integrating Keywords...”
View full text

Electronic eBook

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Published 2010

Table of Contents: “...Construction of Irreducible Polynomials over Finite Fields -- Factorization of Polynomials and GCD...”
View full text

Electronic eBook

Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings /

Published 2007

Table of Contents: “... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications -- A Business...”
View full text

Electronic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... algorithm for Wireless Mesh Network -- Investigations into Implementation of an Iterative Feedback Tuning...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... Discontinuous Viscosities -- The Impact of Parallel Programming Models on the Performance of Iterative Linear...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... of Side Slope -- An Integrated and Grid Based Solution of Chemical Applications -- On the Nullity...”
View full text

Electronic eBook

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 Select...

Published 2005

Table of Contents: “... Network for a Humanoid Robot -- Programming by Integration in Robotics -- A Mathematical Formalism...”
View full text

Electronic eBook

Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings /

Published 2014

Table of Contents: “... Hierarchical K-means Clustering Algorithm without Iteration Based on Distance Measurement -- An Optimized Tag...”
View full text

Electronic eBook

Service-Oriented Computing - ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings /

Published 2006

Table of Contents: “... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...”
View full text

Electronic eBook

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /

Published 2006

Table of Contents: “... Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment -- Development of a Maple...”
View full text

Electronic eBook

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

Published 2005

Table of Contents: “... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”
View full text

Electronic eBook

Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21-23, 2004, Beijing, China /

Published 2005

Table of Contents: “... -- An Integrated Approach to Battlefield Situation Assessment -- Negotiation Based on Personality -- MIAM: A Robot...”
View full text

Electronic eBook

Structure-Based Drug Discovery

Published 2012

Table of Contents: “...The Utility of Structural Biology in Drug Discovery -- Genetic Construct Design and Recombinant...”
View full text

Electronic eBook

Agent and Multi-Agent Systems: Technologies and Applications 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010. Proceedings, Part II /

Published 2010

Table of Contents: “... Selection and Construction -- Iterative Method for Improving Consistency of Multi-attribute Object Judgments...”
View full text

Electronic eBook

Narrow Search