1
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... equilibrium logic and dynamic logic -- ActHEX: Implementing HEX Programs with Action -- Debugging Answer-Set...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... — An Interactive Prover for the Boogie Program-Verifier -- Secure Microkernels, State Monads and Scalable...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Normalization Schemas for Bayesian Confirmation Measures -- Gender and Age Estimation from Synthetic Face Images...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... -- Implementation and Evaluation of the Mechanisms for Low Latency Communication on DIMMnet-2 -- Computationally...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... and Implementation of Interactive Spaces for Information Interaction -- ViSE – A Virtual Smart Environment...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... in Teaching the Bivariate Normal Distributions -- Creating Interactive Graphics for Mathematics Education...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... -- Graphics Hardware-Based Level-Set Method for Interactive Segmentation and Visualization -- Parameterization...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... -- On the Optimal Object-Oriented Program Re-modularization -- A Buffered-Mode MPI Implementation for the Cell BETM...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Effectiveness -- An Interactive System to Measure the Human Behaviour: An Analysis Model for the Human-Product...
View full text
Electronic eBook
13
Published 2006
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... -- On Leveraging Crowdsourcing Techniques for Schema Matching Networks -- A Mechanism for Stream Program...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... -- On Leveraging Crowdsourcing Techniques for Schema Matching Networks -- A Mechanism for Stream Program...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... -- Practical Implementation of Super-Resolution Approach for SD-to-HD Video Up-Conversion -- Image Histogram...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... for the Conversion of MARC Records to a Normalized FRBR Implementation -- Digital Libraries and Archives Architecture...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... on Timing Structures in Faces -- A Practical Face Relighting Method for Directional Lighting Normalization...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... -- Medical Image Segmentation Using Anisotropic Filter, User Interaction and Fuzzy C-Mean (FCM) -- Medical...
View full text
Electronic eBook