Søgeresultater - programs action processing processing array https

1

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... Architectures -- MPI Thread-Level Checking for MPI+OpenMP Applications -- Event-Action Mappings for Parallel...”
Få fuldtekst

Electronisk eBog

2

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
Få fuldtekst

Electronisk eBog

3

VEE Pro: Practical Graphical Programming

af Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Udgivet 2005

Indholdsfortegnelse: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Få fuldtekst

Electronisk eBog

4

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Udgivet 2006

Indholdsfortegnelse: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Få fuldtekst

Electronisk eBog

5

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics -- SAT...”
Få fuldtekst

Electronisk eBog

6

Computer Vision -- ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II /

Udgivet 2013

Indholdsfortegnelse: “... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...”
Få fuldtekst

Electronisk eBog

7

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

Udgivet 2010

Indholdsfortegnelse: “... -- Normative Reasoning with an Adaptive Self-interested Agent Model Based on Markov Decision Processes -- Query...”
Få fuldtekst

Electronisk eBog

8

Advances in Neural Networks – ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “...-Sliding-Mode-Based Frequency Regulation -- A New Discrete-Time Iterative Adaptive Dynamic Programming...”
Få fuldtekst

Electronisk eBog

9

Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers /

Udgivet 2006

Indholdsfortegnelse: “... -- Reinforcement Distribution in Continuous State Action Space Fuzzy Q–Learning: A Novel Approach -- Fuzzy Logic...”
Få fuldtekst

Electronisk eBog

10

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “...Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent...”
Få fuldtekst

Electronisk eBog

11

Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “...Invited Talks -- From Inductive Logic Programming to Relational Data Mining -- Answer Set...”
Få fuldtekst

Electronisk eBog

12

Biomimetic and Biohybrid Systems Third International Conference, Living Machines 2014, Milan, Italy, July 30--August 1, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... Fluids: A Study Inspired by batoid Fishes -- Bipedal Walking of an Octopus-Inspired Robot -- Action...”
Få fuldtekst

Electronisk eBog

13

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Udgivet 2010

Indholdsfortegnelse: “... in the EternalS Coordination Action -- Modeling and Analyzing Diversity -- Modeling and Managing System Evolution...”
Få fuldtekst

Electronisk eBog

14

Extending SSIS with .NET Scripting A Toolkit for SQL Server Integration Services /

af van Rossum, Joost., van Rossum, Joost., Baccaro, Regis.
Udgivet 2015

Fag: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst

Electronisk eBog

15

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

Udgivet 2012

Indholdsfortegnelse: “... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”
Få fuldtekst

Electronisk eBog

16

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

Udgivet 2008

Indholdsfortegnelse: “...-Specific Modelling Languages -- Data Flow Analysis of UML Action Semantics for Executable Models -- From...”
Få fuldtekst

Electronisk eBog

17

Brain-Inspired Information Technology

Udgivet 2010

Indholdsfortegnelse: “... to Relevance -- Brain-Like Evolving Spiking Neural Networks for Multimodal Information Processing -- Human-Like...”
Få fuldtekst

Electronisk eBog

18

Handbook of Response to Intervention The Science and Practice of Assessment and Intervention /

Udgivet 2007

Indholdsfortegnelse: “... Discrepancy, Response to Intervention, and Assessment of Cognitive Abilities/Processes in Specific Learning...”
Få fuldtekst

Electronisk eBog

19

Teacher Professional Development in Changing Conditions

Udgivet 2005

Indholdsfortegnelse: “... and Professional Lives -- The Authentic Teacher -- The Impact of Program Adoption on Teachers’ Professional Lives...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning