Arama Sonuçları - intelligent computing programming programmed constraint graphs

1

Constraint Programming and Decision Making

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”
Tam Metin Erişim

Elektronik Ekitap

2

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine...”
Tam Metin Erişim

Elektronik Ekitap

3

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

4

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

5

Constraint Solving and Language Processing First International Workshop, CSLP 2004, Roskilde...

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Invited Papers -- Property Grammars: A Fully Constraint-Based Theory -- An Abductive Treatment...”
Tam Metin Erişim

Elektronik Ekitap

6

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... for CSPs -- A Global Constraint for Total Weighted Completion Time -- Computing Tight Time Windows...”
Tam Metin Erişim

Elektronik Ekitap

8

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal...”
Tam Metin Erişim

Elektronik Ekitap

9

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Baskı/Yayın Bilgisi 2013

İçindekiler: “... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”
Tam Metin Erişim

Elektronik Ekitap

10

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

11

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Programming -- Weighted Answer Sets and Applications in Intelligence Analysis -- How to Fix It: Using...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”
Tam Metin Erişim

Elektronik Ekitap

15

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...”
Tam Metin Erişim

Elektronik Ekitap