Sökresultat - operators computing programming programming constraint graphs

Menade du:
programming programming » programming programmed , programming program
programming constraint » programming constrained , programming unconstrained , programming constructs
computing programming » computer programming , computers programming
operators computing » cooperative computing
constraint graphs » constraints graphs , constraint graph , constrained graphs

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

Publicerad 2008

Innehållsförteckning: “... -- A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2006

Innehållsförteckning: “... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2007

Innehållsförteckning: “... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2007

Innehållsförteckning: “... for CSPs -- A Global Constraint for Total Weighted Completion Time -- Computing Tight Time Windows...”
Hämta fulltext

Elektronisk E-bok

Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... -- Applications of Graph Transformation -- Mobile Agents Implementing Local Computations in Graphs -- A...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2007

Innehållsförteckning: “... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... Computation of Cuts Via Random Circulations -- Finding a Maximum Matching in a Sparse Random Graph in O(n...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2007

Innehållsförteckning: “... Weight 2-Edge-Connected Spanning Subgraphs in Planar Graphs -- Labeling Schemes for Vertex Connectivity...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2014

Innehållsförteckning: “... Planar Graph Drawings Optimally -- Incremental Algorithm for Maintaining DFS Tree for Undirected Graphs...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2014

Innehållsförteckning: “... Degree Graphs -- Bounded-Angle Spanning Tree: Modeling Networks with Angular Constraints -- Distributed...”
Hämta fulltext

Elektronisk E-bok

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... -- Session 11 -- An Integer Programming Approach for Linear Programs with Probabilistic Constraints...”
Hämta fulltext

Elektronisk E-bok

Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /

Publicerad 2015

Innehållsförteckning: “... to Nested Graph Constraints Focusing on Set Operations -- Characterizing Conflicts Between Rule Application...”
Hämta fulltext

Elektronisk E-bok

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Publicerad 2008

Innehållsförteckning: “... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... and Characterisations -- On Computing Constraint Abduction Answers -- Fast Counting with Bounded Treewidth -- Session 8...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... -- Ordered Resolution with Selection for -- On a Semantic Subsumption Test -- Suitable Graphs for Answer Set...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Hämta fulltext

Elektronisk E-bok

Applications of Graph Transformations with Industrial Relevance Third International Symposium...

Publicerad 2008

Innehållsförteckning: “... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”
Hämta fulltext

Elektronisk E-bok

1
2
3
4
5
6
Nästa »
[6]

Begränsa sökningen