Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Michal Havlena

dblp:34/3655 · DBLP profile ↗
← Back
19ranked-venue papers
3as first author
0since 2021 · last 2018
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 14 · 3 first-authorGraphics, computer vision, multimedia, augmented reality and games · 14 · 3 first-authorDatabases, data management, data science and information retrieval · 1Human-computer interaction and ubiquitous computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
13 papers
3D vision · 74% Motion planning and robot control · 10% Image recognition and object detection · 7%
Computer graphics and multimedia
3 papers
Image and video processing · 36% Computational photography and imaging · 23% Multimedia analysis and retrieval · 23%
Theoretical computer science
2 papers
Mathematical optimization · 100%

Topics — the 26 heaviest of 28, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Computer vision › 3D vision
structure from motion
1.172018
Progressive Structure from Motion · ECCV (4) 2018
VocMatch: Efficient Multiview Correspondence for Structure from Motion · ECCV (3) 2014
Predicting Matchability · CVPR 2014
Computer vision › 3D vision
camera calibration
0.532016
Globally Optimal Hand-Eye Calibration Using Branch-and-Bound · IEEE Trans. Pattern Anal. Mach. Intell. 2016
A branch-and-bound algorithm for globally optimal hand-eye calibration · CVPR 2012
Structure-from-motion based hand-eye calibration using L∞ minimization · CVPR 2011
Robotics › Motion planning and robot control › robot calibration
hand-eye calibration
0.532016
Globally Optimal Hand-Eye Calibration Using Branch-and-Bound · IEEE Trans. Pattern Anal. Mach. Intell. 2016
A branch-and-bound algorithm for globally optimal hand-eye calibration · CVPR 2012
Structure-from-motion based hand-eye calibration using L∞ minimization · CVPR 2011
Mathematical optimization › integer programming
branch-and-bound
0.422016
Globally Optimal Hand-Eye Calibration Using Branch-and-Bound · IEEE Trans. Pattern Anal. Mach. Intell. 2016
A branch-and-bound algorithm for globally optimal hand-eye calibration · CVPR 2012
Mathematical optimization
global optimization
0.422016
Globally Optimal Hand-Eye Calibration Using Branch-and-Bound · IEEE Trans. Pattern Anal. Mach. Intell. 2016
A branch-and-bound algorithm for globally optimal hand-eye calibration · CVPR 2012
Computer vision › 3D vision › structure from motion
incremental structure from motion
0.312018
Progressive Structure from Motion · ECCV (4) 2018
Computer vision › 3D vision
depth estimation
0.312017
Learned Multi-patch Similarity · ICCV 2017
Computer vision › 3D vision › visual localization
image retrieval-based localization
0.212016
Large-Scale Location Recognition and the Geometric Burstiness Problem · CVPR 2016
Computer vision › 3D vision
visual localization
0.212016
Large-Scale Location Recognition and the Geometric Burstiness Problem · CVPR 2016
Computational photography and imaging › image-based modeling
3d reconstruction from images
0.212015
Hyperpoints and Fine Vocabularies for Large-Scale Location Recognition · ICCV 2015
Multimedia analysis and retrieval
image retrieval
0.212015
Hyperpoints and Fine Vocabularies for Large-Scale Location Recognition · ICCV 2015
Image and video processing › feature representation
visual word quantization
0.212015
Hyperpoints and Fine Vocabularies for Large-Scale Location Recognition · ICCV 2015
Computer vision › 3D vision
feature matching
0.212014
Predicting Matchability · CVPR 2014
Computer vision › Image recognition and object detection
interest point detection
0.212014
Predicting Matchability · CVPR 2014
Computer vision › 3D vision › feature matching › correspondence problem
multi-view correspondence
0.212014
VocMatch: Efficient Multiview Correspondence for Structure from Motion · ECCV (3) 2014
Computer vision › Image recognition and object detection › image classification
hierarchical classification
0.112012
Beyond Novelty Detection: Incongruent Events, When General and Specific Classifiers Disagree · IEEE Trans. Pattern Anal. Mach. Intell. 2012
Knowledge, reasoning and agents › Knowledge representation and reasoning › ontology › concept hierarchy
label hierarchy
0.112012
Beyond Novelty Detection: Incongruent Events, When General and Specific Classifiers Disagree · IEEE Trans. Pattern Anal. Mach. Intell. 2012
Machine learning › Trustworthy machine learning
novelty detection
0.112012
Beyond Novelty Detection: Incongruent Events, When General and Specific Classifiers Disagree · IEEE Trans. Pattern Anal. Mach. Intell. 2012
Image and video processing
image stabilization
0.112011
Omnidirectional Image Stabilization for Visual Object Recognition · Int. J. Comput. Vis. 2011
Robotics › Robot navigation and mapping › SLAM
graph optimization
0.112010
Efficient Structure from Motion by Graph Optimization · ECCV (2) 2010
Geometric modeling and processing
3d reconstruction
0.112018
Progressive Structure from Motion · ECCV (4) 2018
Computer vision › 3D vision › structure from motion
large-scale reconstruction
0.112009
Randomized structure from motion based on atomic 3D models from camera triplets · CVPR 2009
Computer vision › 3D vision
3d reconstruction
0.122014
VocMatch: Efficient Multiview Correspondence for Structure from Motion · ECCV (3) 2014
Efficient Structure from Motion by Graph Optimization · ECCV (2) 2010
Computer vision › 3D vision
multi-view geometry
0.112008
Measuring camera translation by the dominant apical angle · CVPR 2008
Virtual and augmented reality › tracking
camera pose estimation
0.112015
Hyperpoints and Fine Vocabularies for Large-Scale Location Recognition · ICCV 2015
Natural language and speech › Information extraction and text analysis › error detection
out-of-vocabulary word detection
0.012012
Beyond Novelty Detection: Incongruent Events, When General and Specific Classifiers Disagree · IEEE Trans. Pattern Anal. Mach. Intell. 2012

Methods — techniques the papers use, named apart from their topics

linear programming · 0.8epipolar constraint · 0.8branch-and-bound · 0.8progressive reconstruction · 0.7learned matching function · 0.3convolutional neural network · 0.3spatial verification · 0.2geometric burst detection · 0.2voting · 0.2feature quantization · 0.2co-visibility · 0.2machine learning · 0.2hierarchical classifier disagreement · 0.1omnidirectional imaging · 0.1
YearPublicationVenuePosition
2018 Progressive Structure from Motion
Alex Locher, Michal Havlena, Luc Van Gool
ECCV (4)2
2017 Learned Multi-patch Similarity
abstract
Estimating a depth map from multiple views of a scene is a fundamental task in computer vision. As soon as more than two viewpoints are available, one faces the very basic question how to measure similarity across >2 image patches. Surprisingly, no direct solution exists, instead it is common to fall back to more or less robust averaging of two-view similarities. Encouraged by the success of machine learning, and in particular convolutional neural networks, we propose to learn a matching function which directly maps multiple image patches to a scalar similarity score. Experiments on several multi-view datasets demonstrate that this approach has advantages over methods based on pairwise patch similarity.
Wilfried Hartmann, Silvano Galliani, Michal Havlena, Luc Van Gool, Konrad Schindler
ICCV3
2017 Gaze-Informed location-based services
abstract
Location-based services (LBS) provide more useful, intelligent assistance to users by adapting to their geographic context. For some services that context goes beyond a location and includes further spatial parameters, such as the user’s orientation or field of view. Here, we introduce Gaze-Informed LBS (GAIN-LBS), a novel type of LBS that takes into account the user’s viewing direction. Such a system could, for instance, provide audio information about the specific building a tourist is looking at from a vantage point. To determine the viewing direction relative to the environment, we record the gaze direction relative to the user’s head with a mobile eye tracker. Image data from the tracker’s forward-looking camera serve as input to determine the orientation of the head w.r.t. the surrounding scene, using computer vision methods that allow one to estimate the relative transformation between the camera and a known view of the scene in real-time and without the need for artificial markers or additional sensors. We focus on how to map the point of regard of a user to a reference system, for which the objects of interest are known in advance. In an experimental validation on three real city panoramas, we confirm that the approach can cope with head movements of varying speed, including fast rotations up to to 63 degrees per second. We further demonstrate the feasibility of GAIN-LBS for tourist assistance with a proof-of-concept experiment in which a tourist explores a city panorama, where the approach achieved a recall that reaches over 99%. Finally, a GAIN-LBS can provide objective and qualitative ways of examining the gaze of a user based on what the user is currently looking at.
Vasileios Athanasios Anagnostopoulos, Michal Havlena, Peter Kiefer, Ioannis Giannopoulos, Konrad Schindler, Martin Raubal
Int. J. Geogr. Inf. Sci.2
2016 Progressive 3D Modeling All the Way
abstract
This work proposes a method bridging the existing gap between progressive sparse 3D reconstruction (incremental Structure from Motion) and progressive point based dense 3D reconstruction (Multi-View Stereo). The presented algorithm is capable of adapting an existing dense 3D model to changes such as the addition or removal of new images, the merge of scene parts, or changes in the underlying camera calibration. The existing 3D model is transformed as consistently as possible and the structure is reused as much as possible without sacrificing the accuracy and/or completeness of the final result. A significant decrease in runtime is achieved compared to the re-computation of a new dense point cloud from scratch. We demonstrate the performance of the algorithm in various experiments on publicly available datasets of different sizes and compare it to the baseline. The work interacts seamlessly with publicly available software enabling an integrated progressive 3D modeling pipeline.
Alex Locher, Michal Havlena, Luc Van Gool
3DV2
2016 Large-Scale Location Recognition and the Geometric Burstiness Problem
abstract
Visual location recognition is the task of determining the place depicted in a query image from a given database of geo-tagged images. Location recognition is often cast as an image retrieval problem and recent research has almost exclusively focused on improving the chance that a relevant database image is ranked high enough after retrieval. The implicit assumption is that the number of inliers found by spatial verification can be used to distinguish between a related and an unrelated database photo with high precision. In this paper, we show that this assumption does not hold for large datasets due to the appearance of geometric bursts, i.e., sets of visual elements appearing in similar geometric configurations in unrelated database photos. We propose algorithms for detecting and handling geometric bursts. Although conceptually simple, using the proposed weighting schemes dramatically improves the recall that can be achieved when high precision is required compared to the standard re-ranking based on the inlier count. Our approach is easy to implement and can easily be integrated into existing location recognition systems.
Torsten Sattler, Michal Havlena, Konrad Schindler, Marc Pollefeys
CVPR2
2016 Globally Optimal Hand-Eye Calibration Using Branch-and-Bound
abstract
This paper introduces a novel solution to the hand-eye calibration problem. It uses camera measurements directly and, at the same time, requires neither prior knowledge of the external camera calibrations nor a known calibration target. Our algorithm uses branch-and-bound approach to minimize an objective function based on the epipolar constraint. Further, it employs Linear Programming to decide the bounding step of the algorithm.Our technique is able to recover both the unknown rotation and translation simultaneously and the solution is guaranteed to be globally optimal with respect to the L∞-norm.
Jan Heller, Michal Havlena, Tomás Pajdla
IEEE Trans. Pattern Anal. Mach. Intell.2
2015 Hyperpoints and Fine Vocabularies for Large-Scale Location Recognition
abstract
Structure-based localization is the task of finding the absolute pose of a given query image w.r.t. a pre-computed 3D model. While this is almost trivial at small scale, special care must be taken as the size of the 3D model grows, because straight-forward descriptor matching becomes ineffective due to the large memory footprint of the model, as well as the strictness of the ratio test in 3D. Recently, several authors have tried to overcome these problems, either by a smart compression of the 3D model or by clever sampling strategies for geometric verification. Here we explore an orthogonal strategy, which uses all the 3D points and standard sampling, but performs feature matching implicitly, by quantization into a fine vocabulary. We show that although this matching is ambiguous and gives rise to 3D hyperpoints when matching each 2D query feature in isolation, a simple voting strategy, which enforces the fact that the selected 3D points shall be co-visible, can reliably find a locally unique 2D-3D point assignment. Experiments on two large-scale datasets demonstrate that our method achieves state-of-the-art performance, while the memory footprint is greatly reduced, since only visual word labels but no 3D point descriptors need to be stored.
Torsten Sattler, Michal Havlena, Filip Radenovic, Konrad Schindler, Marc Pollefeys
ICCV2
2015 Visual Gyroscope for Accurate Orientation Estimation
abstract
A visual gyroscope is a device which estimates camera 3D rotation using image input, in our case a monocular video. Contrary to traditional Structure-From-Motion (SFM) or visual SLAM, we address the case where only the rotation must be found, whereas no translation estimate is desired. That case can be solved without computing an explicit 3D map of the environment, thus avoiding computationally expensive bundle adjustment. Instead, a simple linear method is used to obtain globally consistent rotations from relative rotation estimates between image pairs. We show that the obtained camera orientations are accurate w.r.t. ground truth collected with a navigation-grade (dGPS-supported) IMU, and reach 3D bearing errors below 1 over a 1-minute time interval for >90% of all cases. Efficient computation is achieved by employing GPU-enabled feature extraction and matching. To warrant on-line performance for sequences of arbitrary lengths we run the global rotation estimation in a sliding-window fashion and show that the accuracy of the camera orientations obtained by chaining the partial solutions stays high. Finally, we compare the proposed visual gyroscope to a publicly available SFM software and experimentally demonstrate the importance of a very large field-of-view for accurate rotation estimation.
Wilfried Hartmann, Michal Havlena, Konrad Schindler
WACV2
2014 Predicting Matchability
abstract
The initial steps of many computer vision algorithms are interest point extraction and matching. In larger image sets the pairwise matching of interest point descriptors between images is an important bottleneck. For each descriptor in one image the (approximate) nearest neighbor in the other one has to be found and checked against the second-nearest neighbor to ensure the correspondence is unambiguous. Here, we asked the question how to best decimate the list of interest points without losing matches, i.e. we aim to speed up matching by filtering out, in advance, those points which would not survive the matching stage. It turns out that the best filtering criterion is not the response of the interest point detector, which in fact is not surprising: the goal of detection are repeatable and well-localized points, whereas the objective of the selection are points whose descriptors can be matched successfully. We show that one can in fact learn to predict which descriptors are matchable, and thus reduce the number of interest points significantly without losing too many matches. We show that this strategy, as simple as it is, greatly improves the matching success with the same number of points per image. Moreover, we embed the prediction in a state-of-the-art Structure-from-Motion pipeline and demonstrate that it also outperforms other selection methods at system level.
Wilfried Hartmann, Michal Havlena, Konrad Schindler
CVPR2
2014 VocMatch: Efficient Multiview Correspondence for Structure from Motion
Michal Havlena, Konrad Schindler
ECCV (3)1
2012 A branch-and-bound algorithm for globally optimal hand-eye calibration
abstract
This paper introduces a novel solution to hand-eye calibration problem. It is the first method that uses camera measurements directly and at the same time requires neither prior knowledge of the external camera calibrations nor a known calibration device. Our algorithm uses branch-and-bound approach to minimize an objective function based on the epipolar constraint. Further, it employs Linear Programming to decide the bounding step of the algorithm. The presented technique is able to recover both the unknown rotation and translation simultaneously and the solution is guaranteed to be globally optimal with respect to the L∞-norm.
Jan Heller, Michal Havlena, Tomás Pajdla
CVPR2
2012 Beyond Novelty Detection: Incongruent Events, When General and Specific Classifiers Disagree
abstract
Unexpected stimuli are a challenge to any machine learning algorithm. Here, we identify distinct types of unexpected events when general-level and specific-level classifiers give conflicting predictions. We define a formal framework for the representation and processing of incongruent events: Starting from the notion of label hierarchy, we show how partial order on labels can be deduced from such hierarchies. For each event, we compute its probability in different ways, based on adjacent levels in the label hierarchy. An incongruent event is an event where the probability computed based on some more specific level is much smaller than the probability computed based on some more general level, leading to conflicting predictions. Algorithms are derived to detect incongruent events from different types of hierarchies, different applications, and a variety of data types. We present promising results for the detection of novel visual and audio objects, and new patterns of motion in video. We also discuss the detection of Out-Of- Vocabulary words in speech recognition, and the detection of incongruent events in a multimodal audiovisual scenario.
Daphna Weinshall, Alon Zweig, Hynek Hermansky, Stefan Kombrink, Frank W. Ohl, Jörn Anemüller, Jörg-Hendrik Bach, Luc Van Gool, Fabian Nater, Tomás Pajdla, Michal Havlena, Misha Pavel
IEEE Trans. Pattern Anal. Mach. Intell.11
2011 Structure-from-motion based hand-eye calibration using L∞ minimization
abstract
This paper presents a novel method for so-called hand-eye calibration. Using a calibration target is not possible for many applications of hand-eye calibration. In such situations Structure-from-Motion approach of hand-eye calibration is commonly used to recover the camera poses up to scaling. The presented method takes advantage of recent results in the L∞-norm optimization using Second-Order Cone Programming (SOCP) to recover the correct scale. Further, the correctly scaled displacement of the hand-eye transformation is recovered solely from the image correspondences and robot measurements, and is guaranteed to be globally optimal with respect to the L∞-norm. The method is experimentally validated using both synthetic and real world datasets.
Jan Heller, Michal Havlena, Akihiro Sugimoto, Tomás Pajdla
CVPR2
2011 Omnidirectional Image Stabilization for Visual Object Recognition
Akihiko Torii, Michal Havlena, Tomás Pajdla
Int. J. Comput. Vis.2
2010 Efficient Structure from Motion by Graph Optimization
Michal Havlena, Akihiko Torii, Tomás Pajdla
ECCV (2)1
2009 Randomized structure from motion based on atomic 3D models from camera triplets
abstract
This paper presents a new efficient technique for large-scale structure from motion from unordered data sets. We avoid costly computation of all pairwise matches and geometries by sampling pairs of images using the pairwise similarity scores based on the detected occurrences of visual words leading to a significant speedup. Furthermore, atomic 3D models reconstructed from camera triplets are used as the seeds which form the final large-scale 3D model when merged together. Using three views instead of two allows us to reveal most of the outliers of pairwise geometries at an early stage of the process hindering them from derogating the quality of the resulting 3D structure at later stages. The accuracy of the proposed technique is shown on a set of 64 images where the result of the exhaustive technique is known. Scalability is demonstrated on a landmark reconstruction from hundreds of images.
Michal Havlena, Akihiko Torii, Jan Knopp, Tomás Pajdla
CVPR1
2009 Omnidirectional Image Stabilization by Computing Camera Trajectory
Akihiko Torii, Michal Havlena, Tomás Pajdla
PSIVT2
2008 Measuring camera translation by the dominant apical angle
abstract
This paper provides a technique for measuring camera translation relatively w.r.t. the scene from two images. We demonstrate that the amount of the translation can be reliably measured for general as well as planar scenes by the most frequent apical angle, the angle under which the camera centers are seen from the perspective of the reconstructed scene points. Simulated experiments show that the dominant apical angle is a linear function of the length of the true camera translation. In a real experiment, we demonstrate that by skipping image pairs with too small motion, we can reliably initialize structure from motion, compute accurate camera trajectory in order to rectify images and use the ground plane constraint in recognition of pedestrians in a hand-held video sequence.
Akihiko Torii, Michal Havlena, Tomás Pajdla, Bastian Leibe
CVPR2
2008 The DIRAC AWEAR audio-visual platform for detection of unexpected and incongruent events
abstract
It is of prime importance in everyday human life to cope with and respond appropriately to events that are not foreseen by prior experience. Machines to a large extent lack the ability to respond appropriately to such inputs. An important class of unexpected events is defined by incongruent combinations of inputs from different modalities and therefore multimodal information provides a crucial cue for the identification of such events, e.g., the sound of a voice is being heard while the person in the field-of-view does not move her lips. In the project DIRAC ("Detection and Identification of Rare Audio-visual Cues") we have been developing algorithmic approaches to the detection of such events, as well as an experimental hardware platform to test it. An audio-visual platform ("AWEAR" - audio-visual wearable device) has been constructed with the goal to help users with disabilities or a high cognitive load to deal with unexpected events. Key hardware components include stereo panoramic vision sensors and 6-channel worn-behind-the-ear (hearing aid) microphone arrays. Data have been recorded to study audio-visual tracking, a/v scene/object classification and a/v detection of incongruencies.
Jörn Anemüller, Jörg-Hendrik Bach, Barbara Caputo, Michal Havlena, Jie Luo 0018, Hendrik Kayser, Bastian Leibe, Petr Motlícek, Tomás Pajdla, Misha Pavel, Akihiko Torii, Luc Van Gool, Alon Zweig, Hynek Hermansky
ICMI4