1
Publicat 2007
Taula de continguts: ... of Radiologists for Lung Nodule Detection in CT Scans -- Parallel Computations for Logic-Algebraic Based Expert...
Obtenir text complet
Electrònic eBook
2
Publicat 2012
Taula de continguts: ...-Diagnosis Function for Rehabilitation Training Robot System --  Human Behavior Recognition by a Bio...
Obtenir text complet
Electrònic eBook
3
Publicat 2006
Taula de continguts: ... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...
Obtenir text complet
Electrònic eBook
4
Publicat 2014
Taula de continguts: ...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...
Obtenir text complet
Electrònic eBook
5
Publicat 2010
Taula de continguts: ... Surfaces -- Class Invariants by the CRT Method -- Short Bases of Lattices over Number Fields...
Obtenir text complet
Electrònic eBook
6
Publicat 2008
Taula de continguts: ... Approach for Mixed-Integer Linear Programs -- Simulation-Based Optimization for Steel Stacking -- Robust...
Obtenir text complet
Electrònic eBook
7
Publicat 2010
Taula de continguts: ... -- Generic Constructions of Parallel Key-Insulated Encryption -- Invited Talk -- Heuristics and Rigor...
Obtenir text complet
Electrònic eBook
8
Publicat 2014
Taula de continguts: ... Parameters from Feature-based Representation of Motion -- Kinematics and Dynamics of a 3-RPSR Parallel Robot...
Obtenir text complet
Electrònic eBook
9
Publicat 2008
Taula de continguts: ... -- On the Complexity of Measurement in Classical Physics -- Quantum Walk Based Search Algorithms -- Contributed...
Obtenir text complet
Electrònic eBook
10
Publicat 2010
Taula de continguts: ... -- Computation of Special Functions (Invited) -- Sollya: An Environment for the Development of Numerical Codes...
Obtenir text complet
Electrònic eBook
11
Publicat 2007
Taula de continguts: ... of Group-Based Key Agreement Protocols Using Subgroup Distance Functions -- Cryptanalysis -- Length Based...
Obtenir text complet
Electrònic eBook
12
Publicat 2006
Taula de continguts: ... Bypass Delays -- Trace-Based Data Cache Leakage Reduction at Link Time -- Parallelizing User-Defined...
Obtenir text complet
Electrònic eBook
13
Publicat 2012
Taula de continguts: ... of Monomial Bases and Comprehensive Gröbner Systems -- Parallel Reduction of Matrices in Gr¨obner Bases...
Obtenir text complet
Electrònic eBook
14
Publicat 2010
Taula de continguts: ... of Mixed Covering Arrays of Variable Strength Using a Tabu Search Approach -- Feasibility-Based Bounds...
Obtenir text complet
Electrònic eBook
15
Publicat 2005
Taula de continguts: ... Networks -- 5-Regular Graphs are 3-Colorable with Positive Probability -- Optimal Integer Alphabetic Trees...
Obtenir text complet
Electrònic eBook
16
Publicat 2010
Taula de continguts: ... Systems -- Stabilization Criterion Based on New Lyapunov Functional Candidate for Networked Control...
Obtenir text complet
Electrònic eBook
17
Publicat 2006
Taula de continguts: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
Obtenir text complet
Electrònic eBook
18
Publicat 2008
Taula de continguts: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Obtenir text complet
Electrònic eBook
19
Publicat 2008
Taula de continguts: ... Functions for Flow Time Scheduling Based on Active Job Count -- Facility Location in Dynamic Geometric Data...
Obtenir text complet
Electrònic eBook
20
Publicat 2005
Taula de continguts: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Obtenir text complet
Electrònic eBook