Hakutulokset - interactions constraint programming programming constructs https

1

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

Julkaistu 2008

Sisällysluettelo: “... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”
Hae kokoteksti

Elektroninen E-kirja

2

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

Julkaistu 2007

Sisällysluettelo: “... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2014

Sisällysluettelo: “...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”
Hae kokoteksti

Elektroninen E-kirja

4

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

Julkaistu 2013

Sisällysluettelo: “... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”
Hae kokoteksti

Elektroninen E-kirja

5

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

Julkaistu 2005

Sisällysluettelo: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Hae kokoteksti

Elektroninen E-kirja

6

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

Julkaistu 2006

Sisällysluettelo: “... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”
Hae kokoteksti

Elektroninen E-kirja

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 /

Julkaistu 2008

Sisällysluettelo: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
Hae kokoteksti

Elektroninen E-kirja

8

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

Julkaistu 2008

Sisällysluettelo: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
Hae kokoteksti

Elektroninen E-kirja

9

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

Julkaistu 2008

Sisällysluettelo: “... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”
Hae kokoteksti

Elektroninen E-kirja

10

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

Julkaistu 2008

Sisällysluettelo: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
Hae kokoteksti

Elektroninen E-kirja

11

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

Julkaistu 2008

Sisällysluettelo: “... Clone-Enabled Feature Models’ Constraints and Customization -- Performing Domain Analysis for Model...”
Hae kokoteksti

Elektroninen E-kirja

12

Innovations in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...”
Hae kokoteksti

Elektroninen E-kirja

13

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

Julkaistu 2005

Sisällysluettelo: “... -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction -- Constraints...”
Hae kokoteksti

Elektroninen E-kirja

14

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

Julkaistu 2013

Sisällysluettelo: “... complexity -- Logic programming and constraints -- Automated deduction and interactive theorem proving...”
Hae kokoteksti

Elektroninen E-kirja

15

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

Julkaistu 2007

Sisällysluettelo: “... the Way Down” -- The Construction of Multi-agent Systems as an Engineering Discipline -- Current Issues...”
Hae kokoteksti

Elektroninen E-kirja

16

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

Julkaistu 2007

Sisällysluettelo: “... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...”
Hae kokoteksti

Elektroninen E-kirja

17

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

Julkaistu 2010

Sisällysluettelo: “... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “...-organization of Fuzzy Controllers -- A Mechanism of Output Constraint Handling for Analytical Fuzzy Controllers...”
Hae kokoteksti

Elektroninen E-kirja

19

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

Julkaistu 2005

Sisällysluettelo: “... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...”
Hae kokoteksti

Elektroninen E-kirja

20

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Julkaistu 2008

Sisällysluettelo: “... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua