1
Julkaistu 2006
Sisällysluettelo: ...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2013
Sisällysluettelo: ... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2008
Sisällysluettelo: ... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2006
Sisällysluettelo: ... -- Discrimination of Unexploded Ordnance from Clutter Using Linear Genetic Programming -- Rapid Re-Evolution of an X...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2008
Sisällysluettelo: ... Learning for Real-Time Systems Applications -- Discriminative Structure Learning of Markov Logic Networks...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2007
Sisällysluettelo: ... Deformation Techniques -- Automatic Generation of Virtual Computer Rooms on the Internet Using X3D -- Stained...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2005
Sisällysluettelo: ... Gaussian Point Spread Function Estimation -- One-Point Hexagonal Inner Search for Fast Motion Estimation...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2006
Sisällysluettelo: ... -- Computing and using the deviance with classification trees -- Estimation procedures for the false discovery...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2005
Sisällysluettelo: ... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2008
Sisällysluettelo: ... -- Semidefinite Programming Heuristics for Surface Reconstruction Ambiguities -- Robust Optimal Pose Estimation...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2010
Sisällysluettelo: ...Computational Imaging -- Guided Image Filtering -- Analysis of Motion Blur with a Flutter Shutter...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2010
Sisällysluettelo: ... with Salient Boundaries -- Fast Covariance Computation and Dimensionality Reduction for Sub-window Features...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2010
Sisällysluettelo: ... on the Riblets Surface -- Towards Analysis of Semi-Markov Decision Processes -- Automatic Programming...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2013
Sisällysluettelo: ... Speed Functions Based on Progressive Wave Propagation -- Vanishing Points Estimation and Line...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2013
Sisällysluettelo: ... Description of Deformable Objects Based on the Fractional Heat Equation -- Discriminant Analysis Based Level...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2013
Sisällysluettelo: ... Function Theory.- A Genetic Algorithm for the TOPdTW at Operating Rooms.- A Computational Study...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2008
Sisällysluettelo: ... Mining -- From ILP to PILP -- Computer Vision and Pattern Recognition -- Density of Closed Balls in Real...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2005
Sisällysluettelo: ... Appearance Models -- Kernel Methods for Nonlinear Discriminative Data Analysis -- Reverse-Convex Programming...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2007
Sisällysluettelo: ... Voting-Based Analysis and Image Segmentation Based on Statistical Models -- A Boosting Discriminative...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2008
Sisällysluettelo: ... Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification...
Hae kokoteksti
Elektroninen E-kirja