1
Udgivet 2008
Indholdsfortegnelse: ...Invited Papers -- Toward Elucidating Language Functions in the Brain -- Privacy-Preserving...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...
Få fuldtekst
Electronisk eBog
3
Udgivet 2005
Indholdsfortegnelse: ... Processes -- Decision Support -- Linking Quality Function Deployment and Conjoint Analysis for New Product...
Få fuldtekst
Electronisk eBog
4
Udgivet 2008
Indholdsfortegnelse: ... and Evaluating Complexity of Textual Case Bases -- Learning Similarity Functions from Qualitative Feedback...
Få fuldtekst
Electronisk eBog
5
Udgivet 2007
Indholdsfortegnelse: ... with the Fuzzy Target Based Decision Model -- Group Decision Making: From Consistency to Consensus -- Weighting...
Få fuldtekst
Electronisk eBog
6
Udgivet 2015
Indholdsfortegnelse: ... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...
Få fuldtekst
Electronisk eBog
7
Udgivet 2007
Indholdsfortegnelse: ... Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures...
Få fuldtekst
Electronisk eBog
8
Udgivet 2007
Indholdsfortegnelse: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Få fuldtekst
Electronisk eBog
9
Udgivet 2012
Indholdsfortegnelse: ... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...
Få fuldtekst
Electronisk eBog
10
11
Udgivet 2005
Indholdsfortegnelse: ...-Based Approach to Delayed Decisions for Robust Conceptual Design -- Unified Particle Swarm Optimization...
Få fuldtekst
Electronisk eBog
12
Udgivet 2008
Indholdsfortegnelse: ... -- Constraint-Based Approach for Analysis of Hybrid Systems -- Session 5: Tools – Dynamic Verification...
Få fuldtekst
Electronisk eBog
13
Udgivet 2010
Indholdsfortegnelse: ... New Requirements Analysis Tool with Synthesis -- Comfusy: A Tool for Complete Functional Synthesis...
Få fuldtekst
Electronisk eBog
14
Udgivet 2005
Indholdsfortegnelse: ... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...
Få fuldtekst
Electronisk eBog
15
Udgivet 2015
Indholdsfortegnelse: ... Functions -- OptiMathSAT: A Tool for Optimization Modulo Theories -- Systematic Asynchrony Bug Exploration...
Få fuldtekst
Electronisk eBog
16
Udgivet 2005
Indholdsfortegnelse: ... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...
Få fuldtekst
Electronisk eBog
17
Udgivet 2014
Indholdsfortegnelse: ... and Quality-Based Ranking -- Semantics in Environmental Search Systems. Reasoning Brokerage – New Reasoning...
Få fuldtekst
Electronisk eBog
18
Udgivet 2007
Indholdsfortegnelse: ... -- Session V: Tool Environment -- CADP 2006: A Toolbox for the Construction and Analysis of Distributed...
Få fuldtekst
Electronisk eBog
19
Udgivet 2015
Indholdsfortegnelse: ... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...
Få fuldtekst
Electronisk eBog
20
Udgivet 2007
Indholdsfortegnelse: ... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...
Få fuldtekst
Electronisk eBog