1
Table of Contents: ... and Interactive Handwritten Transcription -- Interactive Machine Translation -- Multi-modality for Interactive...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... -- Sketches and Templates -- Natural Modelling of Interactive Applications -- Task Model Simulation Using...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... -- to Multiobjective Optimization: Interactive Approaches -- to Evolutionary Multiobjective Optimization -- Recent...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... -- Trustworthy and Inclusive Identity Management for Applications in Social Media -- Towards a Design Guideline...
View full text
Electronic eBook
7
by Kattan, Peter I., Kattan, Peter I.
Published 2008
Subjects: ...Computational Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
8
Table of Contents: ...Discrete Problems from Applications -- Basics, Notation and Data Structures -- Minimum Spanning...
View full text
Electronic eBook
9
by Hermes, Dan., Hermes, Dan.
Published 2015
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... View of Backward Backtracking in Short Read Mapping -- Some Applications of String Algorithms in Human...
View full text
Electronic eBook
11
by Pawlak, Ralph R., Pawlak, Ralph R.
Published 2014
Subjects: ...Business and Management, general. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... Decision Processes -- Trading Bounds for Memory in Games with Counters -- Decision Problems of Tree...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... Restrictions with Applications to Exponential Time Problems -- Spotting Trees with Few Leaves -- Constraint...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Substructural Type System for Delimited Continuations -- The Inhabitation Problem for Rank Two Intersection...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... and Applications in Advanced Intelligent Computing -- Special Session on Search Based Software Engineering...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ...-Dimensional Flows in a High Pressure Turbine -- Application of Parallel Processing to the Simulation of Heart...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... for Ecological Inventory & Monitoring Programs -- Visualization and Interactive Exploration of Large...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ...-Cost WSN Point Coverage Problem -- p-Percent Coverage in Wireless Sensor Networks -- Prolonging Network...
View full text
Electronic eBook
20
Table of Contents: .... Interactive Graphics -- 5. Testing and Debugging -- Part II: Applications -- 6. The Double Integrator -- 7...
View full text
Electronic eBook