Resultados de procura - interactions constraint programing ((program constructing) OR (program construction)) https

Search alternatives:
interactions constraint » interactions constraints , interaction constraints , interactive constraint
constraint programing » constraint programming , constraints programming , constrained programming
program constructing » diagram constructing , programs conducting , geography constructing
program construction » programmed instruction

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

Publicado 2007

Table of Contents: “... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2008

Table of Contents: “... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”
Ligazón do recurso

Electrónico eBook

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Publicado 2014

Table of Contents: “...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”
Ligazón do recurso

Electrónico eBook

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Publicado 2013

Table of Contents: “... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2006

Table of Contents: “... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”
Ligazón do recurso

Electrónico eBook

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Publicado 2005

Table of Contents: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Ligazón do recurso

Electrónico eBook

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

Publicado 2008

Table of Contents: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2015

Table of Contents: “... constraint programming paradigm -- Model updating of a nine-story concrete core wall building -- Numerical...”
Ligazón do recurso

Electrónico eBook

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Publicado 2008

Table of Contents: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
Ligazón do recurso

Electrónico eBook

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings /

Publicado 2008

Table of Contents: “... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”
Ligazón do recurso

Electrónico eBook

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Publicado 2008

Table of Contents: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
Ligazón do recurso

Electrónico eBook

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Publicado 2005

Table of Contents: “... -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction -- Constraints...”
Ligazón do recurso

Electrónico eBook

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /

Publicado 2013

Table of Contents: “... complexity -- Logic programming and constraints -- Automated deduction and interactive theorem proving...”
Ligazón do recurso

Electrónico eBook

IUTAM Symposium on Topological Design Optimization of Structures, Machines and Materials Status and Perspectives /

Publicado 2006

Table of Contents: “... Continua -- Mathematical Programming and Modelling -- Cellular Automata Paradigm for Topology Optimisation...”
Ligazón do recurso

Electrónico eBook

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 /

Publicado 2008

Table of Contents: “... Clone-Enabled Feature Models’ Constraints and Customization -- Performing Domain Analysis for Model...”
Ligazón do recurso

Electrónico eBook

Innovations in Computing Sciences and Software Engineering

Publicado 2010

Table of Contents: “...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...”
Ligazón do recurso

Electrónico eBook

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings /

Publicado 2013

Table of Contents: “... Design Patterns -- Building Correct by Construction SOA Design Patterns: Modeling and Refinement...”
Ligazón do recurso

Electrónico eBook

Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers /

Publicado 2007

Table of Contents: “... the Way Down” -- The Construction of Multi-agent Systems as an Engineering Discipline -- Current Issues...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2007

Table of Contents: “... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2010

Table of Contents: “... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”
Ligazón do recurso

Electrónico eBook

1
2
3
4
5
Seguinte »
[5]

Resultados Agrupados