Søgeresultater - interactive simulation programs programs case https

1

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR...

Udgivet 2010

Indholdsfortegnelse: “... as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming...”
Få fuldtekst

Electronisk eBog

2

Programming for Peace Computer-Aided Methods for International Conflict Resolution and Prevention /

Udgivet 2006

Indholdsfortegnelse: “... Cases and Indices of Conflict Management to Predict Conflict Resolution -- II -- II -- Events, Patterns...”
Få fuldtekst

Electronisk eBog

3

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

Udgivet 2014

Indholdsfortegnelse: “... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”
Få fuldtekst

Electronisk eBog

4

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies /

af Popovici, Katalin., Popovici, Katalin., Rousseau, Frédéric., Jerraya, Ahmed A., Wolf, Marilyn.
Udgivet 2010

Indholdsfortegnelse: “...Embedded Systems Design: Hardware and Software Interaction -- Basics -- System Architecture Design...”
Få fuldtekst

Electronisk eBog

5

Engineering Interactive Systems EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers /

Udgivet 2008

Indholdsfortegnelse: “... Error Verification and Timing Analysis -- Formal Testing of Multimodal Interactive Systems -- Knowledge...”
Få fuldtekst

Electronisk eBog

6

Business Statistics for Competitive Advantage with Excel 2013 Basics, Model Building, Simulation and Cases /

af Fraser, Cynthia., Fraser, Cynthia.
Udgivet 2013

Indholdsfortegnelse: “... -- Hypothesis Tests, Confidence Intervals, and Simulation to Infer Population Characteristics and Differences...”
Få fuldtekst

Electronisk eBog

7

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... -- Certifying Voting Protocols -- Invited Tutorials.-Counterexample Generation Meets Interactive Theorem Proving...”
Få fuldtekst

Electronisk eBog

8

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference...

Udgivet 2013

Indholdsfortegnelse: “...Speech, Natural Language and Auditory Interfaces -- Controlling Interaction in Multilingual...”
Få fuldtekst

Electronisk eBog

9

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... -- Accepted Papers -- Scalable incremental test-case generation from large behavior models -- Test Case...”
Få fuldtekst

Electronisk eBog

10

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... -- MDA in Software Development -- Adopting Model Driven Software Development in Industry – A Case Study...”
Få fuldtekst

Electronisk eBog

11

On the Move to Meaningful Internet Systems: OTM 2013 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS...

Udgivet 2013

Indholdsfortegnelse: “...On The Move Academy -- Industry Case Studies Program -- Adaptive Case Management and other non...”
Få fuldtekst

Electronisk eBog

12

On the Move to Meaningful Internet Systems: OTM 2012 Workshops Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM...

Udgivet 2012

Fag: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
Få fuldtekst

Electronisk eBog

13

Business Statistics for Competitive Advantage with Excel 2010 Basics, Model Building, and Cases /

af Fraser, Cynthia., Fraser, Cynthia.
Udgivet 2012

Indholdsfortegnelse: “... Tests, Confidence Intervals and Simulation to Infer Population Characteristics and Differences...”
Få fuldtekst

Electronisk eBog

14

Intelligent Interactive Multimedia Systems and Services

Udgivet 2010

Indholdsfortegnelse: “... Student’s Knowledge on Programming Using Fuzzy Techniques -- Camera Angle Invariant Shape Recognition...”
Få fuldtekst

Electronisk eBog

15

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... for Problem Frames -- Visualization of Use Cases through Automatically Generated Activity Diagrams...”
Få fuldtekst

Electronisk eBog

16

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /

Udgivet 2007

Indholdsfortegnelse: “... Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study -- Join Point...”
Få fuldtekst

Electronisk eBog

17

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Udgivet 2010

Indholdsfortegnelse: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”
Få fuldtekst

Electronisk eBog

18

The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems /

Udgivet 2008

Indholdsfortegnelse: “... -- Anticipation in Coordination -- Endowing Artificial Systems with Anticipatory Capabilities: Success Cases....”
Få fuldtekst

Electronisk eBog

19

Hybrid Learning and Education First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... for Improving the Learning of Computer Programming -- Technologies -- Modeling and Simulation of Continuous Time...”
Få fuldtekst

Electronisk eBog

20

Principles of the Spin Model Checker

af Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Udgivet 2008

Indholdsfortegnelse: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning