Arama Sonuçları - interactive computer programs problems constraints data

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 Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... of Computational Problems, with Applications to Constraint Satisfaction -- Solving QBF with Free Variables...”
Tam Metin Erişim

Elektronik Ekitap

3

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... for Constraint Satisfaction Problems -- On the Power of k-Consistency -- Complexity of Propositional Proofs Under...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Order Constraint Problem -- A Constraint Logic Programming Approach to Automated Testing -- Turing...”
Tam Metin Erişim

Elektronik Ekitap

5

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Tam Metin Erişim

Elektronik Ekitap

6

Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... in Hematopoeitic Cells -- Membrane Computing with Genetic Algorithm for the Travelling Salesman Problem -- Solving...”
Tam Metin Erişim

Elektronik Ekitap

7

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

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: “... and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information...”
Tam Metin Erişim

Elektronik Ekitap

9

Computer Vision, Imaging and Computer Graphics: Theory and Applications International Joint...

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Invited Papers -- Human Habitat Data in 3D for the Internet -- I: Computer Graphics Theory...”
Tam Metin Erişim

Elektronik Ekitap

10

Applications of Computational Intelligence in Biology Current Trends and Open Problems /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... for Ecological Inventory & Monitoring Programs -- Visualization and Interactive Exploration of Large...”
Tam Metin Erişim

Elektronik Ekitap

11

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

12

Computers and Education: Towards Educational Change and Innovation

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...”
Tam Metin Erişim

Elektronik Ekitap

13

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”
Tam Metin Erişim

Elektronik Ekitap

14

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...”
Tam Metin Erişim

Elektronik Ekitap

15

Advances in Visual Computing Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part I /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Surface Reconstruction -- Finite Sample Bias of Robust Scale Estimators in Computer Vision Problems...”
Tam Metin Erişim

Elektronik Ekitap

16

Computational Collective Intelligence. Technologies and Applications Second International...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Association Rules with Quantitative Data under Multiple Support Constraints -- Intelligent Technologies...”
Tam Metin Erişim

Elektronik Ekitap

17

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... for Current and Recent Past Sliding Window Spatiotemporal Data -- Solving Planar Graph Coloring Problem Using...”
Tam Metin Erişim

Elektronik Ekitap

18

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...”
Tam Metin Erişim

Elektronik Ekitap

19

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Character Animation -- Oversimplified Euler Operators for a Non-oriented, Non-manifold B-Rep Data Structure...”
Tam Metin Erişim

Elektronik Ekitap

20

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Satisfaction Problems with Answer Set Programming -- _Add Another Blue Stack of the Same Height!_: Plan Failure...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt