Resultados da pesquisa - integrated simulation gaming programs constraints https

Pesquisas alternativas:
integrated simulation » interactive simulation , integrated navigation
programs constraints » progress constraints , programming constraints , problem constraints
simulation gaming » simulation using , simulation games , simulation training
constraints https » constraints haptic , constraints data , constraints chap
gaming programs » farming programs , camping programs , among programs

Principles and Practice of Constraint Programming - CP 2012 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings /

Publicado em 2012

Assuntos: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Obter o texto integral

Recurso Electrónico livro electrónico

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Publicado em 2013

Sumário: “... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”
Obter o texto integral

Recurso Electrónico livro electrónico

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Publicado em 2007

Sumário: “... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...”
Obter o texto integral

Recurso Electrónico livro electrónico

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Publicado em 2012

Sumário: “... on Boundary Integral Operators.-Part II: Robust Multigrid, Multilevel and Multiscale, Deterministic...”
Obter o texto integral

Recurso Electrónico livro electrónico

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Publicado em 2005

Sumário: “... Network for a Humanoid Robot -- Programming by Integration in Robotics -- A Mathematical Formalism...”
Obter o texto integral

Recurso Electrónico livro electrónico

Distributed Model Predictive Control Made Easy

Publicado em 2014

Sumário: “...-SIORHC, distributed MPC with stability constraints based on a game approach, by J.M. Lemos, J.M. Igreja...”
Obter o texto integral

Recurso Electrónico livro electrónico

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /

Publicado em 2006

Sumário: “... -- On Timed Simulation Relations for Hybrid Systems and Compositionality -- Integrating Discrete...”
Obter o texto integral

Recurso Electrónico livro electrónico

Balanced Automation Systems for Future Manufacturing Networks 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010, Proceedings /

Publicado em 2010

Sumário: “... of Robust Schedule for Profit Based Cooperation -- Designing a Genetic Algorithm to Solve an Integrated...”
Obter o texto integral

Recurso Electrónico livro electrónico

User Modeling 2005 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings /

Publicado em 2005

Sumário: “...: Supporting Coherent Behavior in Online Systems -- Papers -- Integrating Open User Modeling and Learning...”
Obter o texto integral

Recurso Electrónico livro electrónico

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I /

Publicado em 2012

Sumário: “... for Sudoku Game Interfaces -- Generalized Hamilton-Jacobi-Isaacs Formulation-Based Neural Network H∞ Control...”
Obter o texto integral

Recurso Electrónico livro electrónico

Haptics: Generating and Perceiving Tangible Sensations, Part II 7th International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings /

Publicado em 2010

Sumário: “... Texture and Shape -- Constraints on Haptic Short-Term Memory -- Virtual Reality -- Design and Development...”
Obter o texto integral

Recurso Electrónico livro electrónico

Innovations in Computing Sciences and Software Engineering

Publicado em 2010

Sumário: “... Manifesto -- Investigation and Implementation of T-DMB Protocol in NCTUns Simulator -- Empirical Analysis...”
Obter o texto integral

Recurso Electrónico livro electrónico

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings /

Publicado em 2012

Sumário: “... Popularity-Aware Load Balancing Algorithm for Structured P2P Systems -- NCCPIS: A Co-simulation Tool...”
Obter o texto integral

Recurso Electrónico livro electrónico

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice o...

Publicado em 2006

Sumário: “... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”
Obter o texto integral

Recurso Electrónico livro electrónico

On the Move to Meaningful Internet Systems: OTM 2014 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent...

Publicado em 2014

Sumário: “... in Business Process Management -- Towards a Compliance-Aware Inter-organizational Service Integration Platform...”
Obter o texto integral

Recurso Electrónico livro electrónico

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

Publicado em 2008

Sumário: “...Regular Papers -- Markov Set-Chains as Abstractions of Stochastic Hybrid Systems -- Co-simulation...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2010

Sumário: “...: Response Time and Scalability -- Integration of Similar Location Based Services Proposed by Several...”
Obter o texto integral

Recurso Electrónico livro electrónico

Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2

Publicado em 2015

Sumário: “... Constraints -- Analyzing Organization Structures and Performance through Agent-based Socio-technical Modeling...”
Obter o texto integral

Recurso Electrónico livro electrónico

IAENG Transactions on Engineering Technologies Special Issue of the International MultiConference of Engineers and Computer Scientists 2012 /

Publicado em 2013

Sumário: “... For The Green's Function Formalism Semiconductor Transport Simulations On CPUS And GPUS -- 3 Performance...”
Obter o texto integral

Recurso Electrónico livro electrónico

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Publicado em 2013

Sumário: “... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa