Rezultaty - integrated evaluation programming programming constraints https

Inne możliwości wyszukiwania:
programming programming » programming programmed , programming program
programming constraints » programming constraint , programming constrained , programming constructs
evaluation programming » evaluating programming , evolution programming , variation programming
integrated evaluation » interfaces evaluation , integrated production , integrated navigation
constraints https » constraints haptic , constraints data , constraints chap

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings /

Wydane 2014

Spis treści: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Wydane 2005

Spis treści: “...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Wydane 2007

Spis treści: “... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Wydane 2006

Spis treści: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Wydane 2010

Spis treści: “... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2013

Spis treści: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

Wydane 2015

Spis treści: “... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2014

Spis treści: “... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Applications of Declarative Programming and Knowledge Management 15th International Conference...

Wydane 2005

Spis treści: “... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Integrated Pest Management Pesticide Problems, Vol.3 /

Wydane 2014

Spis treści: “... -- 10. Review of potato biotic constraints and experiences with integrated pest management interventions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Wydane 2010

Spis treści: “... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings /

Wydane 2008

Spis treści: “... Diagram -- Constraint-Aware XSLT Evaluation -- A Quality Circle Tool for Software Models -- Generating...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing /

Wydane 2011

Spis treści: “... Discovery, Orchestration and Recovery.-CC-Pi: A Constraint Language for Service Negotiation and Composition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Integrated Uncertainty Management and Applications

Wydane 2010

Spis treści: “... Random Goal Constraints for Stochastic Fuzzy Goal Programming -- Logical Approaches to Uncertainty...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... Systems and Product Lines -- Evaluating UML -- Uses and Abuses of the Stereotype Mechanism in UML 1.x...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Introduction to Databases From Biological to Spatio-Temporal /

od Revesz, Peter., Revesz, Peter.
Wydane 2010

Spis treści: “...Data Models, Queries, Evaluation -- Propositional Databases -- Relational Databases -- Constraint...”
Dokumenty pełnotekstowe

Elektroniczne E-book

1
2
3
4
5
6
7
8
9
Następna »
[9]

Redukuj rezultaty