Αποτελέσματα αναζήτησης - interaction simulation program using array https

1

Intelligent Technologies for Interactive Entertainment First International Conference, INTETAIN...

Έκδοση 2005

Πίνακας περιεχομένων: “...: Interacting with Locations -- Singing with Your Mobile: From DSP Arrays to Low-Cost Low-Power Chip Sets...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

2

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

Έκδοση 2015

Πίνακας περιεχομένων: “... Generation for Concurrent Systems Using Event Structures -- Fast Model-Based Fault Localisation with Test...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

3

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

4

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Έκδοση 2012

Πίνακας περιεχομένων: “... Test Coverage Criteria Using Mutation Analysis -- Seeing Errors: Model Driven Simulation Trace...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

5

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

Έκδοση 2012

Πίνακας περιεχομένων: “... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

6

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

Έκδοση 2010

Πίνακας περιεχομένων: “... Sensors for Haptics -- FlexTorque: Exoskeleton Interface for Haptic Interaction with the Digital World...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

7

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Έκδοση 2014

Πίνακας περιεχομένων: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

8

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

Έκδοση 2010

Πίνακας περιεχομένων: “... Recognition Using Spiking Neurons and Firing Rates -- Planning and Scheduling -- Interaction Graphs...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

9

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Έκδοση 2006

Πίνακας περιεχομένων: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

10

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

Έκδοση 2012

Πίνακας περιεχομένων: “... Controller for Flexible Specifications Using Difference Signals and Competitive Associative Nets -- Moments...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

11

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Έκδοση 2007

Πίνακας περιεχομένων: “... Dynamics Simulation: Testing SCA on Paradigmatic Cases of Emerging Coordination in Negative Interaction...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

12

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

13

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... Simulation -- Rule Mining for Dynamic Databases -- Session I B: High Performance Computing -- APPLE: A Novel...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

14

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Έκδοση 2005

Πίνακας περιεχομένων: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

15

Model Driven Architecture - Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... Framework Validation Using Domain Models -- Prototyping Visual Interpreters and Debuggers for Domain...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

16

High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... Point Using Intel’s IXP1200 Network Processor -- MuSeQoR: Multi-path Failure-Tolerant Security-Aware QoS...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

17

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

Έκδοση 2010

Πίνακας περιεχομένων: “... -- Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Nodes...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

18

Glycoinformatics

Έκδοση 2015

Πίνακας περιεχομένων: “... Proteins Using Glycan Array Data and the GlycoSearch Software -- Statistical Analysis of Amino Acids...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

19

Systems Biology for Signaling Networks

Έκδοση 2010

Πίνακας περιεχομένων: “... Network Models -- Functional Modules in Protein–Protein Interaction Networks -- Mixture Model on Graphs: A...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

20

Applications of Soft Computing Recent Trends /

Έκδοση 2006

Πίνακας περιεχομένων: “... Curves using Simulated Evolution on Control Parameters -- Control and Robotics -- Design of A Takagi...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης