Christian Theobalt

According to our database1, Christian Theobalt authored at least 204 papers between 2002 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
MonoPerfCap: Human Performance Capture From Monocular Video.
ACM Trans. Graph., 2018

Headon: real-time reenactment of human portrait videos.
ACM Trans. Graph., 2018

FaceVR: Real-Time Gaze-Aware Facial Reenactment in Virtual Reality.
ACM Trans. Graph., 2018

Deep video portraits.
ACM Trans. Graph., 2018

ReTiCaM: Real-time Human Performance Capture from Monocular Video.
CoRR, 2018

Neural Animation and Reenactment of Human Actor Videos.
CoRR, 2018

Detailed Human Avatars from Monocular Video.
CoRR, 2018

HeadOn: Real-time Reenactment of Human Portrait Videos.
CoRR, 2018

Deep Video Portraits.
CoRR, 2018

A Hybrid Model for Identity Obfuscation by Face Replacement.
CoRR, 2018

Synchronisation of Partial Multi-Matchings via Non-negative Factorisations.
CoRR, 2018

Mo2Cap2: Real-time Mobile 3D Motion Capture with a Cap-mounted Fisheye Camera.
CoRR, 2018

Video Based Reconstruction of 3D People Models.
CoRR, 2018

Live Intrinsic Material Estimation.
CoRR, 2018

State of the Art on Monocular 3D Face Reconstruction, Tracking, and Applications.
Comput. Graph. Forum, 2018

State of the Art on 3D Reconstruction with RGB-D Cameras.
Comput. Graph. Forum, 2018

Illumination-Invariant Robust Multiview 3D Human Motion Capture.
Proceedings of the 2018 IEEE Winter Conference on Applications of Computer Vision, 2018

A Hybrid Model for Identity Obfuscation by Face Replacement.
Proceedings of the Computer Vision - ECCV 2018, 2018

Structured Low-Rank Matrix Factorization for Point-Cloud Denoising.
Proceedings of the 2018 International Conference on 3D Vision, 2018

Single-Shot Multi-person 3D Pose Estimation from Monocular RGB.
Proceedings of the 2018 International Conference on 3D Vision, 2018

Detailed Human Avatars from Monocular Video.
Proceedings of the 2018 International Conference on 3D Vision, 2018

2017
Live User-Guided Intrinsic Video for Static Scenes.
IEEE Trans. Vis. Comput. Graph., 2017

VNect: real-time 3D human pose estimation with a single RGB camera.
ACM Trans. Graph., 2017

Opt: A Domain Specific Language for Non-Linear Least Squares Optimization in Graphics and Imaging.
ACM Trans. Graph., 2017

BundleFusion: Real-Time Globally Consistent 3D Reconstruction Using On-the-Fly Surface Reintegration.
ACM Trans. Graph., 2017

Building statistical shape spaces for 3D human modeling.
Pattern Recognition, 2017

MARCOnI - ConvNet-Based MARker-Less Motion Capture in Outdoor and Indoor Scenes.
IEEE Trans. Pattern Anal. Mach. Intell., 2017

Multi-view Performance Capture of Surface Details.
International Journal of Computer Vision, 2017

Single-Shot Multi-Person 3D Body Pose Estimation From Monocular RGB Input.
CoRR, 2017

Self-supervised Multi-level Face Model Learning for Monocular Reconstruction at over 250 Hz.
CoRR, 2017

GANerated Hands for Real-time 3D Hand Tracking from Monocular RGB.
CoRR, 2017

Tighter Lifting-Free Convex Relaxations for Quadratic Matching Problems.
CoRR, 2017

HandSeg: A Dataset for Hand Segmentation from Depth Images.
CoRR, 2017

MonoPerfCap: Human Performance Capture from Monocular Video.
CoRR, 2017

Criteria Sliders: Learning Continuous Database Criteria via Interactive Ranking.
CoRR, 2017

MoFA: Model-based Deep Convolutional Face Autoencoder for Unsupervised Monocular Reconstruction.
CoRR, 2017

EgoCap: Egocentric Marker-less Motion Capture with Two Fisheye Cameras (Extended Abstract).
CoRR, 2017

Real-time Hand Tracking under Occlusion from an Egocentric RGB-D Sensor.
CoRR, 2017

VNect: Real-time 3D Human Pose Estimation with a Single RGB Camera.
CoRR, 2017

InverseFaceNet: Deep Single-Shot Inverse Face Rendering From A Single Image.
CoRR, 2017

Demo of FaceVR: real-time facial reenactment and eye gaze control in virtual reality.
Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2017

MoFA: Model-Based Deep Convolutional Face Autoencoder for Unsupervised Monocular Reconstruction.
Proceedings of the 2017 IEEE International Conference on Computer Vision Workshops, 2017

Real-Time Hand Tracking Under Occlusion from an Egocentric RGB-D Sensor.
Proceedings of the 2017 IEEE International Conference on Computer Vision Workshops, 2017

MoFA: Model-Based Deep Convolutional Face Autoencoder for Unsupervised Monocular Reconstruction.
Proceedings of the IEEE International Conference on Computer Vision, 2017

Real-Time Hand Tracking under Occlusion from an Egocentric RGB-D Sensor.
Proceedings of the IEEE International Conference on Computer Vision, 2017

WatchSense: On- and Above-Skin Input Sensing through a Wearable Depth Sensor.
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

Criteria Sliders: Learning Continuous Database Criteria via Interactive Ranking.
Proceedings of the British Machine Vision Conference 2017, 2017

Monocular 3D Human Pose Estimation in the Wild Using Improved CNN Supervision.
Proceedings of the 2017 International Conference on 3D Vision, 2017

2016
Model-based teeth reconstruction.
ACM Trans. Graph., 2016

EgoCap: egocentric marker-less motion capture with two fisheye cameras.
ACM Trans. Graph., 2016

Live intrinsic video.
ACM Trans. Graph., 2016

Corrective 3D reconstruction of lips from monocular video.
ACM Trans. Graph., 2016

Reconstruction of Personalized 3D Face Rigs from Monocular Video.
ACM Trans. Graph., 2016

FaceVR: Real-Time Facial Reenactment and Eye Gaze Control in Virtual Reality.
CoRR, 2016

Real-time Halfway Domain Reconstruction of Motion and Geometry.
CoRR, 2016

Model-based Outdoor Performance Capture.
CoRR, 2016

Efficient Multi-view Performance Capture of Fine-Scale Surface Detail.
CoRR, 2016

Dense Wide-Baseline Scene Flow From Two Handheld Video Cameras.
CoRR, 2016

A Versatile Scene Model with Differentiable Visibility Applied to Generative Pose Estimation.
CoRR, 2016

General Automatic Human Shape and Motion Capture Using Volumetric Contour Cues.
CoRR, 2016

EgoCap: Egocentric Marker-less Motion Capture with Two Fisheye Cameras.
CoRR, 2016

Monocular 3D Human Pose Estimation Using Transfer Learning and Improved CNN Supervision.
CoRR, 2016

Context-guided diffusion for label propagation on graphs.
CoRR, 2016

Semi-supervised Learning with Explicit Relationship Regularization.
CoRR, 2016

Local High-order Regularization on Data Manifolds.
CoRR, 2016

Video Depth-From-Defocus.
CoRR, 2016

VolumeDeform: Real-time Volumetric Non-rigid Reconstruction.
CoRR, 2016

Opt: A Domain Specific Language for Non-linear Least Squares Optimization in Graphics and Imaging.
CoRR, 2016

BundleFusion: Real-time Globally Consistent 3D Reconstruction using On-the-fly Surface Re-integration.
CoRR, 2016

Real-Time Hand Tracking Using a Sum of Anisotropic Gaussians Model.
CoRR, 2016

Real-time Joint Tracking of a Hand Manipulating an Object from RGB-D Input.
CoRR, 2016

Fast and Robust Hand Tracking Using Detection-Guided Optimization.
CoRR, 2016

Automatic Face Reenactment.
CoRR, 2016

Demo of Face2Face: real-time face capture and reenactment of RGB videos.
Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2016

General Automatic Human Shape and Motion Capture Using Volumetric Contour Cues.
Proceedings of the Computer Vision - ECCV 2016, 2016

VolumeDeform: Real-Time Volumetric Non-rigid Reconstruction.
Proceedings of the Computer Vision - ECCV 2016, 2016

Real-Time Joint Tracking of a Hand Manipulating an Object from RGB-D Input.
Proceedings of the Computer Vision - ECCV 2016, 2016

Face2Face: Real-Time Face Capture and Reenactment of RGB Videos.
Proceedings of the 2016 IEEE Conference on Computer Vision and Pattern Recognition, 2016

Real-Time Halfway Domain Reconstruction of Motion and Geometry.
Proceedings of the Fourth International Conference on 3D Vision, 2016

Model-Based Outdoor Performance Capture.
Proceedings of the Fourth International Conference on 3D Vision, 2016

Dense Wide-Baseline Scene Flow from Two Handheld Video Cameras.
Proceedings of the Fourth International Conference on 3D Vision, 2016

Video Depth-from-Defocus.
Proceedings of the Fourth International Conference on 3D Vision, 2016

2015
Shading-based refinement on volumetric signed distance functions.
ACM Trans. Graph., 2015

Real-time expression transfer for facial reenactment.
ACM Trans. Graph., 2015

Generalizing wave gestures from sparse examples for real-time character control.
ACM Trans. Graph., 2015

Efficient Learning of Image Super-Resolution and Compression Artifact Removal with Semi-Local Gaussian Processes.
IEEE Trans. Pattern Anal. Mach. Intell., 2015

Building Statistical Shape Spaces for 3D Human Modeling.
CoRR, 2015

VDub: Modifying Face Video of Actors for Plausible Visual Alignment to a Dubbed Audio Track.
Comput. Graph. Forum, 2015

Outdoor Human Motion Capture by Simultaneous Optimization of Pose and Camera Parameters.
Comput. Graph. Forum, 2015

4D Model Flow: Precomputed Appearance Alignment for Real-time 4D Video Interpolation.
Comput. Graph. Forum, 2015

User-centric computational videography.
Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2015

A Versatile Scene Model with Differentiable Visibility Applied to Generative Pose Estimation.
Proceedings of the 2015 IEEE International Conference on Computer Vision, 2015

Context-Guided Diffusion for Label Propagation on Graphs.
Proceedings of the 2015 IEEE International Conference on Computer Vision, 2015

Contrast-Use Metrics for Tone Mapping Images.
Proceedings of the 2015 IEEE International Conference on Computational Photography, 2015

Local high-order regularization on data manifolds.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2015

Semi-supervised learning with explicit relationship regularization.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2015

Efficient ConvNet-based marker-less motion capture in general scenes with a low number of cameras.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2015

Fast and robust hand tracking using detection-guided optimization.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2015

HDR image noise estimation for denoising tone mapped images.
Proceedings of the 12th European Conference on Visual Media Production, 2015

Investigating the Dexterity of Multi-Finger Input for Mid-Air Text Entry.
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

2014
Real-time non-rigid reconstruction using an RGB-D camera.
ACM Trans. Graph., 2014

Interactive motion mapping for real-time character control.
Comput. Graph. Forum, 2014

Compressed Manifold Modes for Mesh Processing.
Comput. Graph. Forum, 2014

Automatic Face Reenactment.
Proceedings of the 2014 IEEE Conference on Computer Vision and Pattern Recognition, 2014

Device effect on panoramic video+context tasks.
Proceedings of the 11th European Conference on Visual Media Production, 2014

Efficient Multi-view Performance Capture of Fine-Scale Surface Detail.
Proceedings of the 2nd International Conference on 3D Vision, 2014

Real-Time Hand Tracking Using a Sum of Anisotropic Gaussians Model.
Proceedings of the 2nd International Conference on 3D Vision, 2014

2013
A Data-Driven Approach for Real-Time Full Body Pose Reconstruction from a Depth Camera.
Proceedings of the Consumer Depth Cameras for Computer Vision, 2013

On-set performance capture of multiple actors with a stereo camera.
ACM Trans. Graph., 2013

Automatic noise modeling for ghost-free HDR reconstruction.
ACM Trans. Graph., 2013

Reconstructing detailed dynamic face geometry from monocular video.
ACM Trans. Graph., 2013

Sparse localized deformation components.
ACM Trans. Graph., 2013

Free-Viewpoint Video of Human Actors Using Multiple Handheld Kinects.
IEEE Trans. Cybernetics, 2013

Preference and artifact analysis for video transitions of places.
TAP, 2013

Markerless Motion Capture of Multiple Characters Using Multiview Image Segmentation.
IEEE Trans. Pattern Anal. Mach. Intell., 2013

Algorithms for 3D Shape Scanning with a Depth Camera.
IEEE Trans. Pattern Anal. Mach. Intell., 2013

Real-World Visual Computing (Dagstuhl Seminar 13431).
Dagstuhl Reports, 2013

Capturing Relightable Human Performances under General Uncontrolled Illumination.
Comput. Graph. Forum, 2013

Capture and Statistical Modeling of Arm-Muscle Deformations.
Comput. Graph. Forum, 2013

Video collections in panoramic contexts.
Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013

Interactive Markerless Articulated Hand Motion Tracking Using RGB and Depth Data.
Proceedings of the IEEE International Conference on Computer Vision, 2013

Curvature-Aware Regularization on Riemannian Submanifolds.
Proceedings of the IEEE International Conference on Computer Vision, 2013

Real-Time Body Tracking with One Depth Camera and Inertial Sensors.
Proceedings of the IEEE International Conference on Computer Vision, 2013

Denoising Strategies for Time-of-Flight Data.
Proceedings of the Time-of-Flight and Depth Imaging. Sensors, Algorithms, and Applications, 2013

Monocular Pose Capture with a Depth Camera Using a Sums-of-Gaussians Body Model.
Proceedings of the Pattern Recognition - 35th German Conference, 2013

Full-Body Human Motion Capture from Monocular Depth Images.
Proceedings of the Time-of-Flight and Depth Imaging. Sensors, Algorithms, and Applications, 2013

Capture of arm-muscle deformations using a depth-camera.
Proceedings of the Conference on Visual Media Production 2013, 2013

3D Semantic Parameterization for Human Shape Modeling: Application to 3D Animation.
Proceedings of the 2013 International Conference on 3D Vision, 2013

Personalization and Evaluation of a Real-Time Depth-Based Full Body Tracker.
Proceedings of the 2013 International Conference on 3D Vision, 2013

2012
Lightweight binocular facial performance capture under uncontrolled lighting.
ACM Trans. Graph., 2012

Videoscapes: exploring sparse, unstructured video collections.
ACM Trans. Graph., 2012

Editorial for the Special Issue on 3D Data Processing, Visualization and Transmission.
International Journal of Computer Vision, 2012

Time-of-Flight Imaging: Algorithms, Sensors and Applications (Dagstuhl Seminar 12431).
Dagstuhl Reports, 2012

Performance Capture of High-Speed Motion Using Staggered Multi-View Recording.
Comput. Graph. Forum, 2012

Coherent Spatiotemporal Filtering, Upsampling and Rendering of RGBZ Videos.
Comput. Graph. Forum, 2012

How Not to Be Seen - Object Removal from Videos of Crowded Scenes.
Comput. Graph. Forum, 2012

Automatically Rigging Multi-component Characters.
Comput. Graph. Forum, 2012

High detail marker based 3D reconstruction by enforcing multiview constraints.
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2012

Performance Capture of Interacting Characters with Handheld Kinects.
Proceedings of the Computer Vision - ECCV 2012, 2012

Full Body Performance Capture under Uncontrolled and Varying Illumination: A Shading-Based Approach.
Proceedings of the Computer Vision - ECCV 2012, 2012

Match Graph Construction for Large Image Databases.
Proceedings of the Computer Vision - ECCV 2012, 2012

Background Inpainting for Videos with Dynamic Objects and a Free-Moving Camera.
Proceedings of the Computer Vision - ECCV 2012, 2012

Feature-Based Multi-video Synchronization with Subframe Accuracy.
Proceedings of the Pattern Recognition, 2012

Spatio-temporal motion tracking with unsynchronized cameras.
Proceedings of the 2012 IEEE Conference on Computer Vision and Pattern Recognition, 2012

Efficient Learning-based Image Enhancement: Application to Super-resolution and Compression Artifact Removal.
Proceedings of the British Machine Vision Conference, 2012

Real-Time Reshaping of Humans.
Proceedings of the 2012 Second International Conference on 3D Imaging, 2012

2011
Video-based characters: creating new human performances from a multi-view video database.
ACM Trans. Graph., 2011

Shading-based dynamic shape refinement from multi-view video under general illumination.
Proceedings of the IEEE International Conference on Computer Vision, 2011

Fast articulated motion tracking using a sums of Gaussians body model.
Proceedings of the IEEE International Conference on Computer Vision, 2011

A data-driven approach for real-time full body pose reconstruction from a depth camera.
Proceedings of the IEEE International Conference on Computer Vision, 2011

High-quality shape from multi-view stereo and shading under general illumination.
Proceedings of the 24th IEEE Conference on Computer Vision and Pattern Recognition, 2011

Markerless motion capture of interacting characters using multi-view image segmentation.
Proceedings of the 24th IEEE Conference on Computer Vision and Pattern Recognition, 2011

2010
Video-based reconstruction of animatable human characters.
ACM Trans. Graph., 2010

MovieReshape: tracking and reshaping of humans in videos.
ACM Trans. Graph., 2010

Joint Estimation of Motion, Structure and Geometry from Stereo Sequences.
Proceedings of the Computer Vision, 2010

Optimal HDR reconstruction with linear digital cameras.
Proceedings of the Twenty-Third IEEE Conference on Computer Vision and Pattern Recognition, 2010

3D shape scanning with a time-of-flight camera.
Proceedings of the Twenty-Third IEEE Conference on Computer Vision and Pattern Recognition, 2010

Performance Capture from Multi-View Video.
Proceedings of the Image and Geometry Processing for 3-D Cinematography, 2010

2009
Real-time prosody-driven synthesis of body language.
ACM Trans. Graph., 2009

i23 - Rapid Interactive 3D Reconstruction from a Single Image.
Proceedings of the Vision, 2009

LidarBoost: Depth superresolution for ToF 3D shape scanning.
Proceedings of the 2009 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2009), 2009

Motion capture using joint skeleton tracking and surface estimation.
Proceedings of the 2009 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2009), 2009

2008
Performance capture from sparse multi-view video.
ACM Trans. Graph., 2008

Floating Textures.
Comput. Graph. Forum, 2008

High-speed Marching Cubes using HistoPyramids.
Comput. Graph. Forum, 2008

Automatic Conversion of Mesh Animations into Skeleton-based Animations.
Comput. Graph. Forum, 2008

High-quality scanning using time-of-flight depth superresolution.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2008

Design and calibration of a multi-view TOF sensor fusion system.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2008

Dense correspondence finding for parametrization-free animation reconstruction from video.
Proceedings of the 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 2008

Robust fusion of dynamic shape and normal capture for high-quality reconstruction of time-varying geometry.
Proceedings of the 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 2008

2007
Seeing People in Different Light-Joint Shape, Motion, and Reflectance Capture.
IEEE Trans. Vis. Comput. Graph., 2007

Eikonal rendering: efficient light transport in refractive objects.
ACM Trans. Graph., 2007

A Generic Framework for Efficient 2-D and 3-D Facial Expression Analogy.
IEEE Trans. Multimedia, 2007

3-D Time-Varying Scene Capture Technologies - A Survey.
IEEE Trans. Circuits Syst. Video Techn., 2007

Rapid Animation of Laser-scanned Humans.
Proceedings of the IEEE Virtual Reality Conference, 2007

GPU-based light wavefront simulation for real-time refractive object rendering.
Proceedings of the 34. International Conference on Computer Graphics and Interactive Techniques, 2007

A Simple Framework for Natural Animation of Digitized Models.
Proceedings of the SIBGRAPI 2007, 2007

Animation collage.
Proceedings of the 2007 ACM SIGGRAPH/Eurographics Symposium on Computer Animation, 2007

Real-time quadtree analysis using HistoPyramids.
Proceedings of the Real-Time Image Processing 2007, San Jose, CA, USA, January 29-30, 2007, 2007

Interactive Global Illumination Using Implicit Visibility.
Proceedings of the Pacific Conference on Computer Graphics and Applications, 2007

Spatio-temporal Reflectance Sharing for Relightable 3D Video.
Proceedings of the Computer Vision/Computer Graphics Collaboration Techniques, 2007

Spatio-Temporal Registration Techniques for Relightable 3D Video.
Proceedings of the International Conference on Image Processing, 2007

Marker-Less 3D Feature Tracking for Mesh-Based Human Motion Capture.
Proceedings of the Human Motion, 2007

New Trends in 3D Video.
Proceedings of the Eurographics 2007, 2007

Marker-less Deformable Mesh Tracking for Human Shape and Motion Capture.
Proceedings of the 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2007), 2007

2006
From image-based motion analysis to free-viewpoint video.
PhD thesis, 2006

Automatic Learning of Articulated Skeletons from 3D Marker Trajectories.
Proceedings of the Advances in Visual Computing, Second International Symposium, 2006

Video-based Capturing and Rendering of People.
Proceedings of the Human Motion, Understanding, Modelling, Capture, and Animation [Dagstuhl Seminar, 11.06., 2006

2005
Automatic generation of personalized human avatars from multi-view video.
Proceedings of the ACM Symposium on Virtual Reality Software and Technology, 2005

Joint motion and reflectance capture for relightable 3D video.
Proceedings of the 32. International Conference on Computer Graphics and Interactive Techniques, 2005

Video-based rendering.
Proceedings of the 32. International Conference on Computer Graphics and Interactive Techniques, 2005

2004
Pitching a baseball: tracking high-speed motion with multi-exposure images.
ACM Trans. Graph., 2004

Combining 2d Feature Tracking And Volume Reconstruction For Online Video-Based Human Motion Capture.
Int. J. Image Graphics, 2004

Combining 3D flow fields with silhouette-based human motion capture for immersive video.
Graphical Models, 2004

Marker-free kinematic skeleton estimation from sequences of volume data.
Proceedings of the ACM Symposium on Virtual Reality Software and Technology, 2004

Mwedge3: Marker-Free Model Reconstruction and Motion Tracking from 3D Voxel Data.
Proceedings of the 12th Pacific Conference on Computer Graphics and Applications (PG 2004), 2004

2003
Free-viewpoint video of human actors.
ACM Trans. Graph., 2003

A Flexible and Versatile Studio for SynchronizedMulti-View Video Recording.
Proceedings of the Vision, Video, and Graphics, 2003

A Parallel Framework for Silhouette-Based Human Motion Capture.
Proceedings of the Vision, 2003

Enhancing Silhouette-Based Human Motion Capture with 3D Motion Fields.
Proceedings of the 11th Pacific Conference on Computer Graphics and Applications (PG 2003), 2003

2002
Multi-Layer Skeleton Fitting for Online Human Motion Capture.
Proceedings of the Vision, 2002

Combining 2D Feature Tracking and Volume Reconstruction for Online Video-Based Human Motion Capture.
Proceedings of the 10th Pacific Conference on Computer Graphics and Applications (PG 2002), 2002

Talking to Godot: dialogue with a mobile robot.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Lausanne, Switzerland, September 30, 2002

S PASS Version 2.0.
Proceedings of the Automated Deduction, 2002


  Loading...