1
Udgivet 2012
Indholdsfortegnelse: ... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...
Få fuldtekst
Electronisk eBog
2
3
4
af Saeed, Walid
Udgivet 2005
... of such knowledge. These tools are known as Data Mining (DM). One aims of DM is to discover decision rules...
Få fuldtekst
Thesis
5
Udgivet 2008
Indholdsfortegnelse: ... -- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions -- Decision Procedures...
Få fuldtekst
Electronisk eBog
6
Udgivet 2006
Indholdsfortegnelse: ... About Metric and Topology -- The QBFEVAL Web Portal -- A Slicing Tool for Lazy Functional Logic Programs...
Få fuldtekst
Electronisk eBog
7
Udgivet 2007
Indholdsfortegnelse: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Få fuldtekst
Electronisk eBog
8
Indholdsfortegnelse: ... -- 10.1 Functions with local variables -- 10.2 Functions with conditions -- 11. Recursive functions -- 12...
Få fuldtekst
Electronisk eBog
9
Udgivet 2008
Indholdsfortegnelse: ... -- Constraint-Based Approach for Analysis of Hybrid Systems -- Session 5: Tools – Dynamic Verification...
Få fuldtekst
Electronisk eBog
10
Udgivet 2010
Indholdsfortegnelse: ... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...
Få fuldtekst
Electronisk eBog
11
Udgivet 2012
Indholdsfortegnelse: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
Få fuldtekst
Electronisk eBog
12
Udgivet 2010
Indholdsfortegnelse: ...: Transactions Based on Security Questions and Image -- CloneManager: A Tool for Detection of Type1 and Type2...
Få fuldtekst
Electronisk eBog
13
Udgivet 2006
Indholdsfortegnelse: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
Få fuldtekst
Electronisk eBog
14
Udgivet 2007
Indholdsfortegnelse: ... -- Session V: Tool Environment -- CADP 2006: A Toolbox for the Construction and Analysis of Distributed...
Få fuldtekst
Electronisk eBog
15
Udgivet 2007
Indholdsfortegnelse: ... Bayesian Network Classifiers -- Combining Decision Trees Based on Imprecise Probabilities and Uncertainty...
Få fuldtekst
Electronisk eBog
16
Udgivet 2010
Indholdsfortegnelse: ... of Linear Semi-Infinite Programs -- On Equilibrium Problems -- Scalarly Compactness, (S)+-Type Conditions...
Få fuldtekst
Electronisk eBog
17
Udgivet 2008
Indholdsfortegnelse: ... Approach for Mixed-Integer Linear Programs -- Simulation-Based Optimization for Steel Stacking -- Robust...
Få fuldtekst
Electronisk eBog
18
af Abdul Ghani, Pauziah Hanum
Udgivet 2010
... equivalent to an expert decision. The ES-RWQ was developed as simple yet reliable tool to assist user...
Få fuldtekst
Thesis
19
af Abdul Ghani, Pauziah Hanum
Udgivet 2010
... equivalent to an expert decision. The ES-RWQ was developed as simple yet reliable tool to assist user...
Få fuldtekst
Thesis
20
Udgivet 2015
Indholdsfortegnelse: ... Function through Reaching and Grasping -- Joint Protection: Enabling Change in Musculoskeletal Conditions...
Få fuldtekst
Electronisk eBog