Resultados de procura - interactive simulation programming programming constrained (https or http)

1

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

Publicado 2014

Table of Contents: “... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”
Ligazón do recurso

Electrónico eBook

2

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings /

Publicado 2008

Table of Contents: “... Algorithm with Indirect Representation -- Evolved Look-Up Tables for Simulated DNA Controlled Robots...”
Ligazón do recurso

Electrónico eBook

3

Genetic Programming Theory and Practice V

Publicado 2008

Table of Contents: “... Using Genetic Programming: The Importance of Theorist-Practitionercomputer Interaction -- Towards...”
Ligazón do recurso

Electrónico eBook

4

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

Publicado 2006

Table of Contents: “...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...”
Ligazón do recurso

Electrónico eBook

5

Simulated Evolution and Learning 9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012, Proceedings /

Publicado 2012

Table of Contents: “... -- Figure of Merit Based Fitness Functions in Genetic Programming for Edge Detection -- An Evolutionary...”
Ligazón do recurso

Electrónico eBook

6

Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers /

Publicado 2007

Table of Contents: “... Systems -- Organization Oriented Programming: From Closed to Open Organizations -- Analysis, Design...”
Ligazón do recurso

Electrónico eBook

7

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected P...

Publicado 2014

Table of Contents: “....- IOCO as a Simulation.- Modeling and Simulating Interaction Protocols Using Nested Petri Nets...”
Ligazón do recurso

Electrónico eBook

8

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

Publicado 2008

Table of Contents: “... Evacuation Simulations -- A Multi-agent Environment for Serving Proof Explanations in the Semantic Web -- A...”
Ligazón do recurso

Electrónico eBook

9

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings /

Publicado 2010

Table of Contents: “... Distributed Asynchronous Systems -- Trust in Anonymity Networks -- Learning I/O Automata -- Constrained...”
Ligazón do recurso

Electrónico eBook

10

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Publicado 2007

Table of Contents: “... Simulation -- Variable Relaxation Solve for Nonlinear Thermal Conduction -- A Moving Boundary Wave Run-Up...”
Ligazón do recurso

Electrónico eBook

11

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Publicado 2007

Table of Contents: “... Algorithm -- Most Power Reliable Paths Algorithm for Maximizing the Lifetime of Energy Constrained Sensor...”
Ligazón do recurso

Electrónico eBook

12

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Publicado 2010

Table of Contents: “... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...”
Ligazón do recurso

Electrónico eBook

13

Critical Infrastructure Protection IV Fourth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2010, Washington, DC, USA, March 15-17, 2010...

Publicado 2010

Table of Contents: “... Attack -- Infrastructure Modeling and Simulation -- Interactive Visualization of Interdependencies...”
Ligazón do recurso

Electrónico eBook

14

Image and Signal Processing 3rd International Conference, ICISP 2008, Cherbourg-Octeville, France, July 1-3, 2008, Proceedings /

Publicado 2008

Table of Contents: “...Image Filtering -- Discrete Pulse Transform of Images -- Constrained Unsharp Masking for Image...”
Ligazón do recurso

Electrónico eBook

15

Electrical Engineering and Applied Computing

Publicado 2011

Table of Contents: “...: Performance Studies of IEEE 802.11 a,b,g Laboratory Links -- 10. Interaction between the Mobile Phone...”
Ligazón do recurso

Electrónico eBook

16

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers /

Publicado 2005

Table of Contents: “...1: Large Scale Computations -- Large Scale Simulations -- Development and Integration of Parallel...”
Ligazón do recurso

Electrónico eBook

17

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

Publicado 2010

Table of Contents: “... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...”
Ligazón do recurso

Electrónico eBook

18

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

Publicado 2008

Table of Contents: “... Facility Location Problem -- Fourier Series Chaotic Neural Networks -- Numerical Simulation...”
Ligazón do recurso

Electrónico eBook

19

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I /

Publicado 2010

Table of Contents: “... on the Riblets Surface -- Towards Analysis of Semi-Markov Decision Processes -- Automatic Programming...”
Ligazón do recurso

Electrónico eBook

20

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

Publicado 2006

Table of Contents: “...Activity Recognition Via Classification Constrained Diffusion Maps -- Generating and Updating...”
Ligazón do recurso

Electrónico eBook

Resultados Agrupados