Arama Sonuçları - interval computing proceedings programs constraint https

1

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
Tam Metin Erişim

Elektronik Ekitap

2

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”
Tam Metin Erişim

Elektronik Ekitap

3

Principles and Practice of Constraint Programming - CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”
Tam Metin Erişim

Elektronik Ekitap

4

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Community -- Invited Tutorials -- Constraint Handling Rules -- Back to Interval Temporal Logics -- Systems...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”
Tam Metin Erişim

Elektronik Ekitap

9

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
Tam Metin Erişim

Elektronik Ekitap

10

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”
Tam Metin Erişim

Elektronik Ekitap

11

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”
Tam Metin Erişim

Elektronik Ekitap

12

Distributed Computing and Internet Technology Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Distributed System-Level Diagnosis -- Analysis of Interval-Based Global State Detection -- Grid Computing -- A...”
Tam Metin Erişim

Elektronik Ekitap

13

Computational Kinematics Proceedings of the 6th International Workshop on Computational Kinematics (CK2013) /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming, by J. A. Sandretto, G...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... and Characterisations -- On Computing Constraint Abduction Answers -- Fast Counting with Bounded Treewidth -- Session 8...”
Tam Metin Erişim

Elektronik Ekitap

15

Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...: Kernelization Based on Edge Cuts -- Computing the Deficiency of Housing Markets with Duplicate Houses -- A New...”
Tam Metin Erişim

Elektronik Ekitap

16

Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... of Twentieth-Century Harmony -- Utilizing Computer Programming to Analyze Post-Tonal Music: Contour Analysis...”
Tam Metin Erişim

Elektronik Ekitap