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