Search Results - interactive constraint programming programming constructs https

1

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

Published 2007

Table of Contents: “... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”
View full text

Electronic eBook

2

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

Published 2008

Table of Contents: “... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”
View full text

Electronic eBook

3

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

Published 2014

Table of Contents: “...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”
View full text

Electronic eBook

4

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

Published 2013

Table of Contents: “... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”
View full text

Electronic eBook

5

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

Published 2005

Table of Contents: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
View full text

Electronic eBook

6

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

Published 2006

Table of Contents: “... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”
View full text

Electronic eBook

7

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 /

Published 2008

Table of Contents: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
View full text

Electronic eBook

8

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

Published 2008

Table of Contents: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
View full text

Electronic eBook

9

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

Published 2008

Table of Contents: “... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”
View full text

Electronic eBook

10

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

Published 2008

Table of Contents: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
View full text

Electronic eBook

11

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

Published 2008

Table of Contents: “... Clone-Enabled Feature Models’ Constraints and Customization -- Performing Domain Analysis for Model...”
View full text

Electronic eBook

12

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...”
View full text

Electronic eBook

13

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

Published 2013

Table of Contents: “... complexity -- Logic programming and constraints -- Automated deduction and interactive theorem proving...”
View full text

Electronic eBook

14

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

Published 2005

Table of Contents: “... -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction -- Constraints...”
View full text

Electronic eBook

15

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

Published 2007

Table of Contents: “... the Way Down” -- The Construction of Multi-agent Systems as an Engineering Discipline -- Current Issues...”
View full text

Electronic eBook

16

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

Published 2007

Table of Contents: “... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...”
View full text

Electronic eBook

17

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

Published 2010

Table of Contents: “... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”
View full text

Electronic eBook

18

Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, J...

Published 2010

Table of Contents: “...-organization of Fuzzy Controllers -- A Mechanism of Output Constraint Handling for Analytical Fuzzy Controllers...”
View full text

Electronic eBook

19

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

Published 2005

Table of Contents: “... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...”
View full text

Electronic eBook

20

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: “... Construction Part of SIFT -- Weighted Map for Reflectance and Shading Separation Using a Single Image...”
View full text

Electronic eBook

Narrow Search