1
Publicat 2008
Taula de continguts: ... for Data with Tolerance Using Kernel Function -- A Similarity Measure for Sequences of Categorical Data...
Obtenir text complet
Electrònic eBook
2
Publicat 2015
Taula de continguts: ... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...
Obtenir text complet
Electrònic eBook
3
Publicat 2007
Taula de continguts: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Obtenir text complet
Electrònic eBook
4
5
Publicat 2008
Taula de continguts: ... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...
Obtenir text complet
Electrònic eBook
6
Publicat 2010
Taula de continguts: ... Concurrent Programs Using Linear Interfaces -- Dynamic Cutoff Detection in Parameterized Concurrent Programs...
Obtenir text complet
Electrònic eBook
7
Taula de continguts: ...Discrete Problems -- Unidimensional Problems -- Multi-Criteria Decision Problems -- Uncertainty...
Obtenir text complet
Electrònic eBook
8
Taula de continguts: ...1. Planning and Decision Support -- 2. Forest Management Planning -- 3. Single-Criteria Problems...
Obtenir text complet
Electrònic eBook
9
Taula de continguts: ... and data processing algorithms -- Environmental decision-making -- Ecoinformatics problems of the world...
Obtenir text complet
Electrònic eBook
10
Publicat 2014
Taula de continguts: ... with Statistical Machine Learning -- Automatic Assessment of Image Quality -- Evaluation of Image Annotation Using...
Obtenir text complet
Electrònic eBook
11
Publicat 2007
Taula de continguts: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Obtenir text complet
Electrònic eBook
12
Publicat 2015
Taula de continguts: ... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...
Obtenir text complet
Electrònic eBook
13
Publicat 2010
Taula de continguts: ... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...
Obtenir text complet
Electrònic eBook
14
Publicat 2005
Taula de continguts: ... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...
Obtenir text complet
Electrònic eBook
15
Publicat 2005
Taula de continguts: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Obtenir text complet
Electrònic eBook
16
Publicat 2010
Taula de continguts: ... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...
Obtenir text complet
Electrònic eBook
17
per Saeed, Walid
Publicat 2005
...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...
Obtenir text complet
Thesis
18
Publicat 2010
Taula de continguts: ... Rightful Place -- Requirements Engineering and Modeling 1 -- Information Use in Solving a Well-Structured...
Obtenir text complet
Electrònic eBook
19
Publicat 2013
Taula de continguts: ... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...
Obtenir text complet
Electrònic eBook
20
Publicat 2005
Taula de continguts: ... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...
Obtenir text complet
Electrònic eBook