Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
functions conditional » functions functional, functional conditioning, functions computational
functions computation » function computation, functions composition, function composition
programming decision » programming decisions, programming recursion, programming design
decision based » decision aid
based text » based test
functions conditional » functions functional, functional conditioning, functions computational
functions computation » function computation, functions composition, function composition
programming decision » programming decisions, programming recursion, programming design
decision based » decision aid
based text » based test
1
Argitaratua 2010
Aurkibidea:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2005
Aurkibidea:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2007
Aurkibidea:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2012
Aurkibidea:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2005
Aurkibidea:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”Testu osoa
Baliabide elektronikoa
eBook
6
nork Saeed, Walid
Argitaratua 2005
Gaiak:
“...Programming language(Electronic computer)...”Argitaratua 2005
Testu osoa
Thesis
7
Argitaratua 2007
Aurkibidea:
“... Binary Decision Diagrams for 0-1 Programming -- YIELDS: A Yet Improved Limited Discrepancy Search...”Testu osoa
Baliabide elektronikoa
eBook
8
nork Shamshiri, Ramin, Che Man, Hasfalina, Zakaria, Abd Jamil, Beveren, Peter van, Wan Ismail, Wan Ishak, Ahmad, Desa
Argitaratua 2016
“... (T) and relative humidity (rH) were derived and implemented in a computer program. An incremental algorithm...”Argitaratua 2016
Testu osoa
Artikulua
9
Argitaratua 2008
Aurkibidea:
“... -- Session 9: Program Verification -- Heap Assumptions on Demand -- Proving Conditional Termination...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2010
Aurkibidea:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2010
Aurkibidea:
“... and Decision Tree -- RDFa Ontology-Based Architecture for String-Based Web Attacks: Testing and Evaluation...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2013
Aurkibidea:
“... Identification of Waste Cooking Oil with Near Infrared Spectroscopy Based on Support Vector Machine -- A Decision...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2010
Aurkibidea:
“... on the Riblets Surface -- Towards Analysis of Semi-Markov Decision Processes -- Automatic Programming...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2007
Aurkibidea:
“... in Transaction Logic -- Conditional Planning with External Functions -- Logic Programs with Abstract Constraints...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2007
Aurkibidea:
“... Abstraction for Markov Decision Processes -- Underapproximation for Model-Checking Based on Random...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2007
Aurkibidea:
“...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2010
Aurkibidea:
“... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2005
Aurkibidea:
“... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2008
Aurkibidea:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Testu osoa
Baliabide elektronikoa
eBook
20
nork Saeed, Walid
Argitaratua 2005
“.... The TIP model is based on translation of the discernibility relation of a Decision System (DS...”Argitaratua 2005
Testu osoa
Thesis
- 1
- 2
- 3
- Hurrengoa »
- [3]