1
Published 2015
Table of Contents: ... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... Experiences of Visual and Textual Programming -- Enabling end users to create, annotate and share personal...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... for T-coloring Problem -- Non-photorealistic Rendering Using Genetic Programming -- Use of Local Ranking...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...Keynote Speeches -- Selected Problems of the Static Complex Systems Identification -- Combining...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... -- The Construction of “Equal Agency” in the Development of Technology -- Community-Technology Interfaces...
View full text
Electronic eBook
8
by Thomas, Adrian., Thomas, Adrian.
Published 2008
Table of Contents: ... Searching & Problem Solving -- Display System and Hardware Programming Primitives -- Computer Hardware...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Information Security Risk Assessment Model -- Constructing Problem-Based Learning Activities Using Self...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...-objective Programming Application for Time-Cost Trade-off of CPM in Project Management -- A Study on Two...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ...-Computer Interaction -- Approximate String Matching with Reduced Alphabet -- ICT4D: A Computer Science...
View full text
Electronic eBook
13
by Dooley, John., Dooley, John.
Published 2011
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... -- AN APPLICATION OF NON-LINEAR PROGRAMMING TO TRAIN RECURRENT NEURAL NETWORKS IN TIME SERIES PREDICTION PROBLEMS...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ... of Metacognitive Scaffolding for Experiential Training Simulators -- Paper Interfaces for Learning Geometry...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- Decision Theoretic Dialogue Planning for Initiative Problems -- A Semi-automated Wizard of Oz Interface...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Interface -- Multi-dimensional Data Visualization using Concentric Coordinates -- Construct Connotation...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ...Invited Papers -- The Disappearing Computer: User-Centered Interaction Design for Smart Artefacts...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... of the Dynamical Behavior of Three-Wheeled Omni-directional Robots -- Intuitive Plan Construction and Adaptive Plan...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Intelligent Strategy Repository -- Effortless Construction and Management of Program Animations on the Web...
View full text
Electronic eBook