1
Table of Contents: ... -- The Segmentation Problem -- Other Challenging Applications -- A Introduction to Finite Difference Methods -- B...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- Answer-Set Programming Based Dynamic User Modeling for Recommender Systems -- Application of Logic...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming...
View full text
Electronic eBook
5
by Raynal, Michel., Raynal, Michel.
Published 2013
Table of Contents: ...Part I - Lock-Based Synchronization -- Chap. 1 - The Mutual Exclusion Problem -- Chap. 2 - Solving...
View full text
Electronic eBook
6
Table of Contents: ...: Interaction in a Year-long Program -- Chapter 7: Solving Conflicts and Problems -- Chapter 8: After-School...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... -- Including Emotion in Learning Process -- Ambient Intelligence: Experiments on Sustainability Awareness...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Exchange in the Canetti-Krawczyk Proof Model -- The Marriage Proposals Problem: Fair and Efficient Solution...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Tool to Find Errors in Task-Based Parallel Programs -- Automated Tuning in Parallel Sorting on Multi...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Translucency Using Dynamic Programming -- A Method for Detection and Modeling of the Human Spine Based...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... of the Economic Development Process: The Dynamics of the Fertility Rate -- An Agent-Supported Simulation of Labour...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Process in Practice: A Grounded Theory of the Irish Software Industry -- SPI and Problem/Risk Management...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Problem for Reciprocal Processes -- Cumulative Distribution Estimation via Control Theoretic Smoothing...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... Appraisal Framework -- Programming Agents with Emotions -- Utilizing Emotions in Autonomous Robots...
View full text
Electronic eBook
16
Table of Contents: ...-atomic Scenario -- 10. Conclusion -- A. A Primer on Constraint-Based Program Analysis....
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... 7B: High Performance Processing and Applications -- Session 7C: Networking and Protocols I...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ...: Incorporating the DynaSOAr Framework in Distributed Query Processing -- Review of Security Models Applied...
View full text
Electronic eBook
19
by Anthony, Greg., Anthony, Greg.
Published 2012
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
20
by Anthony, Greg., Anthony, Greg.
Published 2005
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook