1
Publicerad 2007
Innehållsförteckning: ... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2010
Innehållsförteckning: .... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2010
Innehållsförteckning: ... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2010
Innehållsförteckning: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2010
Innehållsförteckning: ... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2010
Innehållsförteckning: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2005
Innehållsförteckning: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2006
Innehållsförteckning: ... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2010
Innehållsförteckning: ... on Multicores and SMP Servers -- Programming with Intervals -- Adaptive and Speculative Memory Consistency...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2010
Innehållsförteckning: ... for Solving Parametric Linear Systems Whose Input Data Are Rational Functions of Interval Parameters -- Direct...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2010
Innehållsförteckning: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2008
Innehållsförteckning: ...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2012
Innehållsförteckning: ... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2006
Innehållsförteckning: ... -- Computing and using the deviance with classification trees -- Estimation procedures for the false discovery...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2007
Innehållsförteckning: ... in Computerized Testing -- Resource Load Balancing Based on Multi-agent in ServiceBSP Model -- Group-Based Key...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2007
Innehållsförteckning: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2012
Innehållsförteckning: ... Complexity and Cognitive Performance in a Human Computer Interface Experiment -- Interval-Valued Fuzzy...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2015
Innehållsförteckning: ... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2006
Innehållsförteckning: ... Parameterization -- Sub-sampling for Efficient Spectral Mesh Processing -- Active Contours with Level-Set...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2015
Innehållsförteckning: ...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...
Hämta fulltext
Elektronisk E-bok