Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
computation programming » communication programming, computation programmatic, computing programming
programming decisions » programming decision, programming design, programming session
function computation » function computing, function decomposition, section computational
decisions complexity » revisions complexity, recursions complexity, sessions complexity
complexity memory » complexity theory, complexity mimo, complexity more
computation programming » communication programming, computation programmatic, computing programming
programming decisions » programming decision, programming design, programming session
function computation » function computing, function decomposition, section computational
decisions complexity » revisions complexity, recursions complexity, sessions complexity
complexity memory » complexity theory, complexity mimo, complexity more
1
Publicat 2015
Taula de continguts:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Obtenir text complet
Electrònic
eBook
2
Publicat 2006
Taula de continguts:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”Obtenir text complet
Electrònic
eBook
3
Publicat 2007
Taula de continguts:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Obtenir text complet
Electrònic
eBook
4
Publicat 2010
Taula de continguts:
“... Decision Processes -- All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated...”Obtenir text complet
Electrònic
eBook
5
Publicat 2010
Taula de continguts:
“... Trust in Cloud Computing -- SegSlice: Towards a New Class of Secure Programming Primitives...”Obtenir text complet
Electrònic
eBook
6
Publicat 2014
Taula de continguts:
“...Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults -- On Partial Vertex Cover...”Obtenir text complet
Electrònic
eBook
7
Publicat 2005
Taula de continguts:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Obtenir text complet
Electrònic
eBook
8
Publicat 2005
Taula de continguts:
“... -- Regular Languages, Unambiguous Concatenation and Computational Complexity -- Contributed Papers...”Obtenir text complet
Electrònic
eBook
9
Publicat 2006
Taula de continguts:
“...Outcomes of the Joint International Conference on Computing and Decision Making in Civil...”Obtenir text complet
Electrònic
eBook
10
Publicat 2007
Taula de continguts:
“...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”Obtenir text complet
Electrònic
eBook
11
Publicat 2007
Taula de continguts:
“... Framework for Decision Modeling in Behavioral Animation of Virtual Avatars -- Studies on Shape Feature...”Obtenir text complet
Electrònic
eBook
12
Publicat 2010
Taula de continguts:
“... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...”Obtenir text complet
Electrònic
eBook
13
Publicat 2015
Taula de continguts:
“... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”Obtenir text complet
Electrònic
eBook
14
Publicat 2005
Taula de continguts:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Obtenir text complet
Electrònic
eBook
15
Publicat 2008
Taula de continguts:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”Obtenir text complet
Electrònic
eBook
16
Publicat 2015
Taula de continguts:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Obtenir text complet
Electrònic
eBook
17
Publicat 2008
Taula de continguts:
“... with Prudence Analysis -- Soft Computing -- Clustering with XCS on Complex Structure Dataset -- Evolution...”Obtenir text complet
Electrònic
eBook
18
Publicat 2014
Taula de continguts:
“... of Satisfiability Problems and Applications -- Kolmogorov Structure Functions for Automatic Complexity...”Obtenir text complet
Electrònic
eBook
19
Publicat 2010
Taula de continguts:
“... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...”Obtenir text complet
Electrònic
eBook
20
Publicat 2012
Taula de continguts:
“... Complexity Proto-Value Function Learning from Sensory Observations with Incremental Slow Feature Analysis...”Obtenir text complet
Electrònic
eBook