Rezultati - internal evolution programming program constraint graphs

Poišči alternative:
evolution programming » evolutionary programming , evolutionary programing , production programming
programming program » programming programmed , programming problem , programming problems
internal evolution » internal evaluation , internet evolution , internet revolution
program constraint » programs constraints , problem constraint , diagram constraint
constraint graphs » constraints graphs , constraint graph , constrained graphs

Constraint Programming and Decision Making

Izdano 2014

Kazalo: “... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”
Polni tekst

Elektronski eKnjiga

Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings /

Izdano 2010

Kazalo: “... Transformation Units Guided by a SAT Solver -- Delaying Constraint Solving in Symbolic Graph Transformation -- A...”
Polni tekst

Elektronski eKnjiga

Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /

Izdano 2015

Kazalo: “... to Nested Graph Constraints Focusing on Set Operations -- Characterizing Conflicts Between Rule Application...”
Polni tekst

Elektronski eKnjiga

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Izdano 2008

Kazalo: “...) - Model Evolution with Linear Integer Arithmetic Constraints -- A Constraint Sequent Calculus for First...”
Polni tekst

Elektronski eKnjiga

Applications of Graph Transformations with Industrial Relevance Third International Symposium...

Izdano 2008

Kazalo: “... Graph Transformation to Support Collaborative Ontology Evolution -- Modelling of Longitudinal...”
Polni tekst

Elektronski eKnjiga

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Izdano 2006

Kazalo: “... -- Adding Constraint Solving to Mercury -- Modeling Genome Evolution with a DSEL for Probabilistic...”
Polni tekst

Elektronski eKnjiga

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers /

Izdano 2007

Kazalo: “... Capabilities to Natural Semantics -- Solution Strategies for Multi-domain Constraint Logic Programs...”
Polni tekst

Elektronski eKnjiga

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held...

Izdano 2010

Kazalo: “... -- Model Transformation -- A Formalisation of Constraint-Aware Model Transformations -- Formal Real-Time...”
Polni tekst

Elektronski eKnjiga

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Izdano 2006

Kazalo: “... StateMachines -- Facilitating the Definition of General Constraints in UML -- Security -- Towards a MOF/QVT...”
Polni tekst

Elektronski eKnjiga

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held...

Izdano 2007

Kazalo: “... Development -- Evolution and Agents -- EQ-Mine: Predicting Short-Term Defects for Software Evolution...”
Polni tekst

Elektronski eKnjiga

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA...

Izdano 2006

Kazalo: “... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2008

Kazalo: “... Transformations -- Precise Semantics of EMF Model Transformations by Graph Transformation -- A Formal Metamodel...”
Polni tekst

Elektronski eKnjiga

Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings /

Izdano 2008

Kazalo: “... Linear Approximation of Non-overlap Constraints -- Extremes Are Better: Investigating Mental Map...”
Polni tekst

Elektronski eKnjiga

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Izdano 2005

Kazalo: “... Query Graph Based on Degrees and Their Time-Evolution -- t-UNITY – A Formal Framework for Modeling...”
Polni tekst

Elektronski eKnjiga

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

Izdano 2013

Kazalo: “... Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile...”
Polni tekst

Elektronski eKnjiga

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Izdano 2006

Kazalo: “...Invited Talks -- Mathematical Theory Exploration -- Searching While Keeping a Trace: The Evolution...”
Polni tekst

Elektronski eKnjiga

Conceptual Modeling 31st International Conference on Conceptual Modeling, Florence, Italy, October 15-18, 2012, Proceeding /

Izdano 2012

Kazalo: “... -- Understandability and Cognitive Approaches -- Understanding Constraint Expressions in Large Conceptual Schemas...”
Polni tekst

Elektronski eKnjiga

Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings /

Izdano 2005

Kazalo: “... the Relevant Instances That May Violate an OCL Constraint -- Event-Based Modeling of Evolution for Semantic...”
Polni tekst

Elektronski eKnjiga

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Izdano 2006

Kazalo: “... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...”
Polni tekst

Elektronski eKnjiga

Hybrid Metaheuristics Third International Workshop, HM 2006, Gran Canaria, Spain, October 13-14, 2006, Proceedings /

Izdano 2006

Kazalo: “... for Rostering: A Case Study in the Integration of Constraint Programming and Local Search -- A Reactive Greedy...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje