1
Published 2007
Table of Contents: ... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... by Learning Rewriting Rules -- An Efficient Algorithm for Computing Kernel Function Defined with Anti...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Simulation Program for 2D Multisegment Mechanical Systems -- Electrooculography Signal Estimation by Using...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... -- Semidefinite Programming Heuristics for Surface Reconstruction Ambiguities -- Robust Optimal Pose Estimation...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... for the Multivariate t-Distribution and Its Application to Computer Vision -- LACBoost and FisherBoost: Optimally...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...Poster Session 1: Stereo, Motion Analysis, and Tracking -- A Dynamic Programming Approach...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Speed Functions Based on Progressive Wave Propagation -- Vanishing Points Estimation and Line...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ...Evolutionary Computing and Genetic Algorithms -- Adaptive Routing Algorithm in Wireless...
View full text
Electronic eBook
12
... learning management system (LMS) and assessment records from a higher education computer science program...
View full text
Article
13
Published 2010
Table of Contents: ... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...
View full text
Electronic eBook
14
Published 2011
Table of Contents: ... community -- The Odyssey program: Friendly competition to boost cognitive fitness -- Spelling Bees for Older...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Template Boosting -- Bayesian Inference for Layer Representation with Mixed Markov Random Field -- Image...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Programming Approach -- Full Satisfiability of UML Class Diagrams -- On Enabling Data-Aware Compliance...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... for Web Services -- Finite Model Reasoning on UML Class Diagrams Via Constraint Programming -- Model...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... regarding Evolvability -- Functional Architecture Modeling for the Software Product Industry -- Experiences...
View full text
Electronic eBook
19
by Younker, Jeff., Younker, Jeff.
Published 2008
Table of Contents: ... -- Functional Testing....
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... -- Rapid Neighbour-Joining -- Efficiently Computing Arbitrarily-Sized Robinson-Foulds Distance Matrices...
View full text
Electronic eBook