Resultados da pesquisa - parallel function programs function plans https

1

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Publicado em 2006

Sumário: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Obter o texto integral

Recurso Electrónico livro electrónico

2

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

Publicado em 2010

Sumário: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Obter o texto integral

Recurso Electrónico livro electrónico

3

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Publicado em 2013

Sumário: “... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...”
Obter o texto integral

Recurso Electrónico livro electrónico

4

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Publicado em 2008

Sumário: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Obter o texto integral

Recurso Electrónico livro electrónico

5

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Ada...

Publicado em 2008

Sumário: “... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”
Obter o texto integral

Recurso Electrónico livro electrónico

6

Innovations in Computing Sciences and Software Engineering

Publicado em 2010

Sumário: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Obter o texto integral

Recurso Electrónico livro electrónico

7

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Publicado em 2005

Sumário: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Obter o texto integral

Recurso Electrónico livro electrónico

8

Advances in Computer Games 12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers /

Publicado em 2010

Sumário: “... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...”
Obter o texto integral

Recurso Electrónico livro electrónico

9

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

Publicado em 2008

Sumário: “...Invited Lectures -- Flexible Path Planning Using Corridor Maps -- A Bridging Model for Multi-core...”
Obter o texto integral

Recurso Electrónico livro electrónico

10

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Publicado em 2010

Sumário: “...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”
Obter o texto integral

Recurso Electrónico livro electrónico

11

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Publicado em 2005

Sumário: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Obter o texto integral

Recurso Electrónico livro electrónico

12

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Publicado em 2010

Sumário: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Obter o texto integral

Recurso Electrónico livro electrónico

13

Global Sourcing of Information Technology and Business Processes 4th International Workshop, Global Sourcing 2010, Zermatt, Switzerland, March 22-25, 2010, Revised Selected Papers...

Publicado em 2010

Sumário: “...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...”
Obter o texto integral

Recurso Electrónico livro electrónico

14

Advanced Techniques in Computing Sciences and Software Engineering

Publicado em 2010

Sumário: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Obter o texto integral

Recurso Electrónico livro electrónico

15

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Publicado em 2006

Sumário: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Obter o texto integral

Recurso Electrónico livro electrónico

16

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Publicado em 2010

Sumário: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Obter o texto integral

Recurso Electrónico livro electrónico

17

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Publicado em 2005

Sumário: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Obter o texto integral

Recurso Electrónico livro electrónico

18

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Publicado em 2006

Sumário: “... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”
Obter o texto integral

Recurso Electrónico livro electrónico

19

Artificial Evolution 9th International Conference, Evolution Artificielle, EA 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers /

Publicado em 2010

Sumário: “... Algorithm/Variable Neighborhood Search Approach to Maximizing Residual Bandwidth of Links for Route Planning...”
Obter o texto integral

Recurso Electrónico livro electrónico

20

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Publicado em 2007

Sumário: “... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa