1
2
nork Saeed, Walid
Argitaratua 2005
.... The TIP model is based on translation of the discernibility relation of a Decision System (DS...
Testu osoa
Thesis
3
4
Argitaratua 2008
Aurkibidea: ... -- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions -- Decision Procedures...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2007
Aurkibidea: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2008
Aurkibidea: ... -- Session 9: Program Verification -- Heap Assumptions on Demand -- Proving Conditional Termination...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2010
Aurkibidea: ... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2012
Aurkibidea: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2006
Aurkibidea: ... and Probabilistic Planning Through Imprecise Markov Decision Processes -- Achieving Conditional Plans Through...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2007
Aurkibidea: ... Abstraction for Markov Decision Processes -- Underapproximation for Model-Checking Based on Random...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2007
Aurkibidea: ... Bayesian Network Classifiers -- Combining Decision Trees Based on Imprecise Probabilities and Uncertainty...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2010
Aurkibidea: ... of Linear Semi-Infinite Programs -- On Equilibrium Problems -- Scalarly Compactness, (S)+-Type Conditions...
Testu osoa
Baliabide elektronikoa eBook
13
nork Abdul Ghani, Pauziah Hanum
Argitaratua 2010
... efforts to the hydrologic condition of the watershed. The assessment of water quality was based...
Testu osoa
Thesis
14
nork Abdul Ghani, Pauziah Hanum
Argitaratua 2010
... efforts to the hydrologic condition of the watershed. The assessment of water quality was based...
Testu osoa
Thesis
15
Argitaratua 2013
Aurkibidea: ... Agent in a Dialogue Based on Conversations in TV Programs -- Research on a Large Digital Desktop...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2010
Aurkibidea: ...-Based Reasoning and Bayesian Networks for Clinical Decision Support -- Event Extraction for Legal Case...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2007
Aurkibidea: ... Conditions Through Fuzzy Rules -- Social Interaction in Robotic Agents Emulating the Mirror Neuron Function...
Testu osoa
Baliabide elektronikoa eBook