Resultados de procura - integrated revision programming programming constraint https

Search alternatives:
programming programming » programming programmed , programming program
programming constraint » programming constrained , programming unconstrained , programming constructs
revision programming » television programming , edition programming , session programming
integrated revision » integrated decision , integrated vision , iterated revision
constraint https » constraint atoms , constraint graphs , constraint codes

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

Publicado 2010

Table of Contents: “...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”
Ligazón do recurso

Electrónico eBook

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

Publicado 2011

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Ligazón do recurso

Electrónico eBook

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Publicado 2007

Table of Contents: “... Constraint Programming Approach to the Hospitals / Residents Problem -- Best-First AND/OR Search for 0/1...”
Ligazón do recurso

Electrónico eBook

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Publicado 2011

Subjects: “...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...”
Ligazón do recurso

Electrónico eBook

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Publicado 2012

Subjects: “...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...”
Ligazón do recurso

Electrónico eBook

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers /

Publicado 2008

Table of Contents: “... Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global...”
Ligazón do recurso

Electrónico eBook

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Publicado 2013

Table of Contents: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Ligazón do recurso

Electrónico eBook

Principles and Practice of Constraint Programming - CP 2012 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings /

Publicado 2012

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Ligazón do recurso

Electrónico eBook

Database Programming Languages 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers /

Publicado 2005

Table of Contents: “... Numerical Attributes in Databases Under Integrity Constraints -- Consistent Query Answers on Numerical...”
Ligazón do recurso

Electrónico eBook

Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers /

Publicado 2012

Table of Contents: “... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...”
Ligazón do recurso

Electrónico eBook

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Publicado 2008

Table of Contents: “... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”
Ligazón do recurso

Electrónico eBook

Declarative Programming for Knowledge Management 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised...

Publicado 2006

Table of Contents: “...: OpenOffice Spreadsheet Front-End for Constraint Programming -- Overload Checking for the Cumulative...”
Ligazón do recurso

Electrónico eBook

Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers /

Publicado 2005

Table of Contents: “... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”
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: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
Ligazón do recurso

Electrónico eBook

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

Publicado 2014

Table of Contents: “... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”
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

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /

Publicado 2007

Table of Contents: “... in an Industrial Environment -- W8 – Integrating MDA and V&V -- Report on the 3rd MoDeVa Workshop – Model Design...”
Ligazón do recurso

Electrónico eBook

Unifying the Software Process Spectrum International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers /

Publicado 2006

Table of Contents: “... Research -- What Beyond CMMI Is Needed to Help Assure Program and Project Success? -- Integrated Software...”
Ligazón do recurso

Electrónico eBook

Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /

Publicado 2008

Table of Contents: “... for Revision Programming and Connections to Active Integrity Constraints -- Recovering Consistency...”
Ligazón do recurso

Electrónico eBook

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Publicado 2013

Table of Contents: “... Languages -- Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs -- Integrative...”
Ligazón do recurso

Electrónico eBook

1
2
3
4
5
Seguinte »
[5]

Resultados Agrupados