Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming proving » programming improving, programming pruning, programming evolving
proving processes » improving processes, pricing processes, printing processes
processes case » processes based, processing case, processes chapter
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming proving » programming improving, programming pruning, programming evolving
proving processes » improving processes, pricing processes, printing processes
processes case » processes based, processing case, processes chapter
1
Argitaratua 2005
Aurkibidea:
“... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2008
Aurkibidea:
“... -- Session 9: Program Verification -- Heap Assumptions on Demand -- Proving Conditional Termination...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2015
Aurkibidea:
“... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2007
Aurkibidea:
“... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2008
Aurkibidea:
“... Functional Logic Language -- Latest News about Demonic Algebra with Domain -- On the Structure of Demonic...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2005
Aurkibidea:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2006
Aurkibidea:
“... of Mobile Values -- An Analysis for Proving Temporal Properties of Biological Systems -- Computational...”Testu osoa
Baliabide elektronikoa
eBook
8
nork Houshyar, Afsaneh Nouri
Argitaratua 2014
Gaiak:
“...Machine parts - Computer program...”Argitaratua 2014
Testu osoa
Thesis
9
Argitaratua 2007
Aurkibidea:
“... Negatives -- Behavioural Specifications from Class Models -- Inheriting Laws for Processes with States...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2010
Aurkibidea:
“... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2010
Aurkibidea:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2008
Aurkibidea:
“... Mining -- From ILP to PILP -- Computer Vision and Pattern Recognition -- Density of Closed Balls in Real...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2010
Aurkibidea:
“... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2008
Aurkibidea:
“...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2008
Aurkibidea:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”Testu osoa
Baliabide elektronikoa
eBook
16
Aurkibidea:
“... Engineering and Signal Processing -- Emerging Areas -- Epilogue. Future Research Directions....”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2010
Aurkibidea:
“... Constraint-Based XML Updating -- Coupling Ontology with Rule-Based Theorem Proving for Knowledge...”Testu osoa
Baliabide elektronikoa
eBook
18
Aurkibidea:
“...Deterministic Optimal Control -- Viscosity Solutions -- Optimal Control of Markov Processes...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2005
Aurkibidea:
“... Functions -- Fast Generic Model-Checking for Data-Based Systems -- Logic and Model Checking for Hidden...”Testu osoa
Baliabide elektronikoa
eBook
20
nork Sadeghian, Syed Hamidreza
Argitaratua 2014
Gaiak:
“...Model-integrated computing...”Argitaratua 2014
Testu osoa
Thesis
- 1
- 2
- Hurrengoa »
- [2]