Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming parsing » programming learning, programming planning, programming using
parsing based » sparsity based, sensing based
based text » based test
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming parsing » programming learning, programming planning, programming using
parsing based » sparsity based, sensing based
based text » based test
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
by Clavel, Manuel., Clavel, Manuel., Durán, Francisco., Eker, Steven., Lincoln, Patrick., Martí-Oliet, Narciso., Meseguer, José., Talcott, Carolyn.
Published 2007
Table of Contents:
“...I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy...”Published 2007
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