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