Rekommenderade teman
Rekommenderade teman
Menade du:
communication interpretation » communication intervention, communication interaction, communication international
communication interpolation » communication interaction, communication intervention, communication integration
methods decision » methods design, ethics decision, methods session
decision code » decision model, decision modes, decision case
code files » case files, code five
communication interpretation » communication intervention, communication interaction, communication international
communication interpolation » communication interaction, communication intervention, communication integration
methods decision » methods design, ethics decision, methods session
decision code » decision model, decision modes, decision case
code files » case files, code five
1
Publicerad 2005
Innehållsförteckning:
“... Point Clusters -- Interpretation Aids for Multilayer Perceptron Neural Nets -- An Unfolding Scaling...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2006
Innehållsförteckning:
“... Methods and Applications in Hardware Verification -- Building Efficient Decision Procedures on Top of SAT...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2007
Innehållsförteckning:
“... Modelling -- Data Representation and Efficient Solution: A Decision Diagram Approach -- to Software...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2010
Innehållsförteckning:
“... Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2014
Innehållsförteckning:
“... Parameter Inference -- SCC-Based Improved Reachability Analysis for Markov Decision Processes...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2006
Innehållsförteckning:
“... by Abstract Interpretation -- Symbolic Methods to Enhance the Precision of Numerical Abstract Domains...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2008
Innehållsförteckning:
“... Sediment Sites -- Multicriteria Decision Analysis for Choosing the Remediation Method for a Landfill Based...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2014
Innehållsförteckning:
“... Test Phase and Evaluation; S.Almuairfi, et al -- Coding DNA Sequence Watermarking; S.-H.Lee, et al...”Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2008
Innehållsförteckning:
“... -- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions -- Decision Procedures...”Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2006
Innehållsförteckning:
“... for Non-Stationary Optimisation Tasks -- Regular Sessions: Evolutionary Methods -- On Asymptotic Behaviour...”Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2008
Innehållsförteckning:
“... Topologies and Decision Methods -- The Goal Oriented Teams (GORITE) Framework -- Regular Papers -- Agents Do...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2012
Innehållsförteckning:
“... -- Interpolating between Random Walks and Shortest Paths: A Path Functional Approach -- Dynamic Targeting...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2008
Innehållsförteckning:
“...Organized Session -- eService Innovation and Sensor Based Healthcare -- Research Track -- Decision...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2010
Innehållsförteckning:
“... -- Using Redundant Constraints for Refinement -- Methods for Knowledge Based Controlling of Distributed...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2010
Innehållsförteckning:
“... Communication Protocols -- Tool Papers -- An Open-Source Tool for Automated Generation of Black-Box xUnit Test...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2010
Innehållsförteckning:
“...Invited Talk -- A Risk-Driven Decision Table for Software Process Selection -- Process Alignment...”Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2015
Innehållsförteckning:
“... -- Selecting a Multi-Label Classification Method for an Interactive System -- Visual Analysis of Topics...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2014
Innehållsförteckning:
“... Systematic Literature Review -- Suitability of Software Architecture Decision Making Methods for Group...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2008
Innehållsförteckning:
“... Method with GA for Estimating Optimal PSO Models -- Human–Robot Interaction as a Cooperative Game...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2005
Innehållsförteckning:
“... Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks -- A Formal Framework...”Hämta fulltext
Elektronisk
E-bok