1
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ...Propositional Proofs in Frege and Extended Frege Systems -- Circuit Complexity Meets Ontology-Based...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ...Keynote Addresses -- Extreme Computing on the Distributed European Infrastructure...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... for Variational Problems in Computer Vision -- An Experimental Study of Color-Based Segmentation Algorithms Based...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... of Portuguese Based on Variable Length Markov Chains -- From Syntactical Analysis to Textual Segmentation...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Performability in Component-Based Systems -- Multimedia Retrieval Algorithmics -- Foundations of Computer Science...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... -- Applications to Faces and Text -- A Pupil Localization Algorithm Based on Adaptive Gabor Filtering and Negative...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... -- Computer Aided Diagnostic Methods to Forecast Condition-based Maintenance Tasks -- On Numerical Approach...
View full text
Electronic eBook
15
Table of Contents: ...I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- Computing the Quartet Distance Between Trees of Arbitrary Degree -- Using Semi-definite Programming...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ..., High Reading Error Rate and Low Coverage -- Two Birds, One Stone: Selecting Functionally Informative...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... Metamodel Family for Role-Based Modeling and Programming Languages -- AIOCJ: A Choreographic Framework...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Information in Compression-Based Text Clustering -- Simple Deterministically Constructed Recurrent Neural...
View full text
Electronic eBook