1
Publicerad 2010
Innehållsförteckning: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2010
Innehållsförteckning: ... for Solving Parametric Linear Systems Whose Input Data Are Rational Functions of Interval Parameters -- Direct...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2006
Innehållsförteckning: ... Dichotomies -- Data Structures and Linear Algebra -- Suffix Trays and Suffix Trists: Structures for Faster...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2008
Innehållsförteckning: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2005
Innehållsförteckning: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2010
Innehållsförteckning: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2005
Innehållsförteckning: ...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2014
Innehållsförteckning: ... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2014
Innehållsförteckning: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2010
Innehållsförteckning: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2012
Innehållsförteckning: ...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...
Hämta fulltext
Elektronisk E-bok
12
av Comninos, Peter., Comninos, Peter.
Publicerad 2006
Innehållsförteckning: ... Spaces or Linear Spaces -- Two-Dimensional Transformations -- Two-Dimensional Clipping -- Three...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2013
Innehållsförteckning: ... Buscema -- Chapter 8. Pre-Processing Tools for Non-Linear Data Sets; Massimo Buscema, Alessandra Mancini...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2010
Innehållsförteckning: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2013
Innehållsförteckning: ... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2010
Innehållsförteckning: ... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...
Hämta fulltext
Elektronisk E-bok
17
Ämnen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2008
Innehållsförteckning: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2010
Innehållsförteckning: ... into Trees and Outerplanar Graphs -- Approximating Linear Threshold Predicates -- Approximating Sparsest Cut...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2010
Innehållsförteckning: ... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...
Hämta fulltext
Elektronisk E-bok