Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
computation programming » communication programming, computation programmatic, computing programming
detection computation » detection computational, deduction computation, detection mutation
theory arrays » theory essays, theory ray, theory harry
arrays via » arrays a
computation programming » communication programming, computation programmatic, computing programming
detection computation » detection computational, deduction computation, detection mutation
theory arrays » theory essays, theory ray, theory harry
arrays via » arrays a
1
Publicat 2005
Taula de continguts:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”Obtenir text complet
Electrònic
eBook
3
Publicat 2005
Taula de continguts:
“... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”Obtenir text complet
Electrònic
eBook
4
Publicat 2007
Taula de continguts:
“... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...”Obtenir text complet
Electrònic
eBook
5
Publicat 2010
Taula de continguts:
“... for Saliency Detection in Images -- Face Image Relighting using Locally Constrained Global Optimization...”Obtenir text complet
Electrònic
eBook
6
Publicat 2014
Taula de continguts:
“... Theories via Implicit Predicate Abstraction -- SMT-Based Verification of Software Countermeasures against...”Obtenir text complet
Electrònic
eBook
7
Publicat 2007
Taula de continguts:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”Obtenir text complet
Electrònic
eBook
8
Publicat 2015
Taula de continguts:
“... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”Obtenir text complet
Electrònic
eBook
9
Publicat 2010
Taula de continguts:
“...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”Obtenir text complet
Electrònic
eBook
10
Publicat 2013
Taula de continguts:
“... -- Definability of Accelerated Relations in a Theory of Arrays and Its Applications -- Verification of Composed...”Obtenir text complet
Electrònic
eBook
11
Publicat 2014
Taula de continguts:
“... of the Anticipatory Reflexes of a Computational Model of the Cerebellum -- Evolving Optimal Swimming in Different...”Obtenir text complet
Electrònic
eBook
12
Publicat 2005
Taula de continguts:
“... -- Intrusion Detection via Analysis and Modelling of User Commands -- Dynamic Schema Navigation Using Formal...”Obtenir text complet
Electrònic
eBook
13
Publicat 2005
Taula de continguts:
“... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...”Obtenir text complet
Electrònic
eBook
14
Publicat 2014
Taula de continguts:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”Obtenir text complet
Electrònic
eBook
15
Publicat 2007
Taula de continguts:
“... Streams -- Feature Clustering Method to Detect Monotonic Chain Structures in Symbolic Data -- Symbolic...”Obtenir text complet
Electrònic
eBook