Resultados da busca - internet computer program programmed constraint https

1

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

Publicado em 2015

Sumário: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

2

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

Publicado em 2014

Sumário: “...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

3

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

Publicado em 2014

Sumário: “...Track B: Logic, Semantics, Automata, and Theory of Programming -- Symmetric Groups and Quotient...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

4

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

Publicado em 2005

Sumário: “... for Intertask Communication in Grid Computing Through Distributed Pipes -- Internet Technology -- Internet...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

5

Distributed Computing and Internet Technology Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006 /

Publicado em 2006

Sumário: “...The Role of Programming Languages in Future Data-Centric and Net-Centric Applications -- The Role...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

6

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers /

Publicado em 2015

Sumário: “...Reframing on Relational Data -- Inductive Learning using Constraint-driven Bias -- Nonmonotonic...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

7

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

Publicado em 2008

Sumário: “... Integer Programs with Choices -- Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

8

Database Programming Languages 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers /

Publicado em 2005

Sumário: “... Numerical Attributes in Databases Under Integrity Constraints -- Consistent Query Answers on Numerical...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

9

Database Programming Languages 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers /

Publicado em 2007

Sumário: “... for the Tree Homeomorphism Problem -- Datalog Programs over Infinite Databases, Revisited -- XML Query...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

10

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /

Publicado em 2012

Sumário: “... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

11

Applications of Declarative Programming and Knowledge Management 15th International Conference...

Publicado em 2005

Sumário: “... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

12

On the Move to Meaningful Internet Systems, OTM 2010 Confederated International Conferences: CoopIS...

Publicado em 2010

Sumário: “... Dependencies -- Generic Algorithms for Consistency Checking of Mutual-Exclusion and Binding Constraints in a...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

13

Internet and Network Economics First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings /

Publicado em 2005

Sumário: “... Dominating Set Games -- Local Flow Betweenness Centrality for Clustering Community Graphs -- Computerized...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

14

On the Move to Meaningful Internet Systems: OTM 2014 Workshops Confederated International Workshops...

Publicado em 2014

Sumário: “... Reconstructing Digital Objects’ Custody Chain -- Industry Case Studies Program 2014 -- Industry Case Studies...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

15

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Publicado em 2010

Sumário: “... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

16

Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings /

Publicado em 2014

Sumário: “... -- Optimization of Execution Time under Power Consumption Constraints in a Heterogeneous Parallel System with GPUs...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

17

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings /

Publicado em 2013

Sumário: “... Frameworks -- Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System -- A...”
Obter o texto integral

Recurso Eletrônico livro eletrônico