Søgeresultater - interactions constraints programming programming construction https

Søg alternativer:
interactions constraints » interaction constraints , intersection constraints , international constraints
programming construction » programming constructs , program construction , programming abstraction
constraints programming » constraint programming , constrained programming , constraint programing
programming programming » programming programmed , programming program
construction https » instruction https , conservation https , construction history

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

Udgivet 2008

Indholdsfortegnelse: “... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”
Få fuldtekst

Electronisk eBog

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 /

Udgivet 2008

Indholdsfortegnelse: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Clone-Enabled Feature Models’ Constraints and Customization -- Performing Domain Analysis for Model...”
Få fuldtekst

Electronisk eBog

Innovations in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction -- Constraints...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... complexity -- Logic programming and constraints -- Automated deduction and interactive theorem proving...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... the Way Down” -- The Construction of Multi-agent Systems as an Engineering Discipline -- Current Issues...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “...-organization of Fuzzy Controllers -- A Mechanism of Output Constraint Handling for Analytical Fuzzy Controllers...”
Få fuldtekst

Electronisk eBog

1
2
3
4
5
Næste »
[5]

Indsnæver søgning