1
Published 2005
Table of Contents: ... Problems -- A Synthetic Agent for Mentoring Novice Programmers Within a Desktop Computer Environment...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... the Behaviour of Radial Basis Function Networks in Regression and Classification of Geospatial Data -- A...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... to Monoprocess Servers -- Delegating Secure Logging in Pervasive Computing Systems -- Implementing Minimized...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... for On-Board Satellite Software -- Computational Concerns in the Integration of Unmanned Airborne Systems...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ...Invited Program -- Keynote: Grand Challenges of Computer Engineering -- Keynote: The Impact...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ...Invited Paper -- Palpable Computing and the Role of Agent Technology -- Research Papers -- A...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Accelerated Vision System -- Systemic Computation Using Graphics Processors -- Session 4: Implementations...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... Analysis of Linear Combiners -- Applying Pairwise Fusion Matrix on Fusion Functions for Classifier...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... of Diffeomorphisms -- Connectivity Analysis of Human Functional MRI Data: From Linear to Nonlinear and Static...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Handling -- Belief Revision and Merging -- Belief Functions -- Fuzzy Models -- Many-Valued Logical Systems...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ...-algebraic Proofs -- Turing’s Computable Real Numbers and Why They Are Still Important Today...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ... with Programmable Scalar Contribution Function -- Real-Time locating Method for Palmvein Image Acquisition -- Real...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... with Programmable Scalar Contribution Function -- Real-Time locating Method for Palmvein Image Acquisition -- Real...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
View full text
Electronic eBook
19
Published 2012
Table of Contents: ... Annotated Model Solutions in a Functional Programming Tutor -- The Effect of Predicting Expertise in Open...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ...-Extraction Rules with Distant Supervision from the Web -- The Not-So-Easy Task of Computing Class...
View full text
Electronic eBook