2000, ISBN: 9783540410539
[ED: Softcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], As computer science enters the new millennium, methods and languages for reasoning with constraints have c… Mehr…
booklooker.de buecher.de GmbH & Co. KG Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
2000, ISBN: 3540410538
As computer science enters the new millennium, methods and languages for reasoning with constraints have come to play an important role, with both t- oretical advances and practical appli… Mehr…
Weltbild.de Nr. 23998685. Versandkosten:, 2-5 Werktage, DE. (EUR 0.00) Details... |
Principles and Practice of Constraint Programming - CP 2000 6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings - neues Buch
2000, ISBN: 3540410538
2000 Kartoniert / Broschiert Compiler, Übersetzer (EDV), Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logikprogrammierung, Computerprogrammierung und Softwaree… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2000, ISBN: 9783540410539
*Principles and Practice of Constraint Programming - CP 2000* - 6th International Conference CP 2000 Singapore September 18-21 2000 Proceedings. Auflage 2000 / Taschenbuch für 106.99 € / … Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
2000, ISBN: 9783540410539
*Principles and Practice of Constraint Programming - CP 2000* - 6th International Conference CP 2000 Singapore September 18-21 2000 Proceedings. Auflage 2000 / Taschenbuch für 106.99 € / … Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
2000, ISBN: 9783540410539
[ED: Softcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], As computer science enters the new millennium, methods and languages for reasoning with constraints have c… Mehr…
2000, ISBN: 3540410538
As computer science enters the new millennium, methods and languages for reasoning with constraints have come to play an important role, with both t- oretical advances and practical appli… Mehr…
Principles and Practice of Constraint Programming - CP 2000 6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings - neues Buch
2000
ISBN: 3540410538
2000 Kartoniert / Broschiert Compiler, Übersetzer (EDV), Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logikprogrammierung, Computerprogrammierung und Softwaree… Mehr…
2000, ISBN: 9783540410539
*Principles and Practice of Constraint Programming - CP 2000* - 6th International Conference CP 2000 Singapore September 18-21 2000 Proceedings. Auflage 2000 / Taschenbuch für 106.99 € / … Mehr…
2000, ISBN: 9783540410539
*Principles and Practice of Constraint Programming - CP 2000* - 6th International Conference CP 2000 Singapore September 18-21 2000 Proceedings. Auflage 2000 / Taschenbuch für 106.99 € / … Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Principles and Practice of Constraint Programming - CP 2000
EAN (ISBN-13): 9783540410539
ISBN (ISBN-10): 3540410538
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2000
Herausgeber: Springer Berlin Heidelberg
580 Seiten
Gewicht: 0,865 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2008-08-07T13:40:12+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-29T00:18:24+01:00 (Berlin)
ISBN/EAN: 3540410538
ISBN - alternative Schreibweisen:
3-540-41053-8, 978-3-540-41053-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: proceedings the 6th international conference, programming principles and practice, lncs, programm 2000, constraint programming, lecture notes computer science, singapore
Daten vom Verlag:
Autor/in: Rina Dechter
Titel: Lecture Notes in Computer Science; Principles and Practice of Constraint Programming - CP 2000 - 6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings
Verlag: Springer; Springer Berlin
564 Seiten
Erscheinungsjahr: 2000-09-06
Berlin; Heidelberg; DE
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XII, 564 p.
BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Constraint; Constraint programming; constraint logic programming; constraint propagation; constraint satisfaction; interval constraints; optimization; programming; set constraints; soft constraints; timetabling; Compilers and Interpreters; Artificial Intelligence; Programming Techniques; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; EA
Invited Papers.- Constraint-Based Agents: The ABC’s of CBA’s.- Constraints for Interactive Graphical Applications.- Meta-complexity Theorems: Talk Abstract.- Regular Papers.- Automatic Generation of Propagation Rules for Finite Domains.- Extending Forward Checking.- Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type.- Universally Quantified Interval Constraints.- Constraint Propagation for Soft Constraints: Generalization and Termination Conditions.- Constraints Inference Channels and Secure Databases.- Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints.- A Language for Audiovisual Template Specification and Recognition.- Random 3-SAT: The Plot Thickens.- New Tractable Classes from Old.- Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees.- Cutting Planes in Constraint Programming: An Hybrid Approach.- A Constraint-Based Framework for Prototyping Distributed Virtual Applications.- A Scalable Linear Constraint Solver for User Interface Construction.- A Constraint Programming Approach for Solving Rigid Geometric Systems.- Maintaining Arc-Consistency within Dynamic Backtracking.- New Search Heuristics for Max-CSP.- Analysis of Random Noise and Random Walk Algorithms for Satisfiability Testing.- Boosting Search with Variable Elimination.- Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint.- Practical Investigation of Constraints with Graph Views.- A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences.- Singleton Consistencies.- Linear Formulation of Constraint Programming Models and Hybrid Solvers.- A Global Constraint Combining a Sum Constraint andDifference Constraints.- Efficient Querying of Periodic Spatiotemporal Objects.- Arc Consistency for Soft Constraints.- Optimal Anytime Constrained Simulated Annealing for Constrained Global Optimization.- SAT v CSP.- Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies.- Arc Consistency on n-ary Monotonic and Linear Constraints.- Poster Papers.- Some Observations on Durations, Scheduling and Allen’s Algebra.- Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability.- Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances.- Branching Constraint Satisfaction Problems for Solutions Robust under Likely Changes.- Constraint Propagation: Between Abstract Models and ad hoc Strategies.- How to Model and Verify Concurrent Algorithms for Distributed CSPs.- The Phase Transition in Distributed Constraint Satisfaction Problems: First Results.- Cooperating Constraint Solvers.- An Empirical Study of Probabilistic Arc Consistency as a Variable Ordering Heuristic.- On Dual Encodings for Non-binary Constraint Satisfaction Problems.- Algebraic Simplification Techniques for Propositional Satisfiability.- An Original Constraint Based Approach for Solving over Constrained Problems.- An Efficient Approximate Algorithm for Winner Determination in Combinatorial Auctions.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030584740 Principles and Practice of Constraint Programming (Helmut Simonis)
- 9783030584740 Principles and Practice of Constraint Programming (Helmut Simonis)
- 9783030300470 Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 ? October 4, 2019, Proceedings: 11802 (Lecture Notes in Computer Science) (Schiex, Thomas|de Givry, Simon)
- 9783540453499 Principles and Practice of Constraint Programming - CP 2000 (Rina Dechter)
- 9783319232195 Principles and Practice of Constraint Programming (Gilles Pesant)
- 9783319232188 Principles and Practice of Constraint Programming (Gilles Pesant)
< zum Archiv...