Pavel Moravec
Publications by Year
Research Areas
Formal Methods in Verification, Image Retrieval and Classification Techniques, Face and Expression Recognition, Neural Networks and Applications, Data Management and Algorithms
Most-Cited Works
- → DiVinE – A Tool for Distributed Verification(2006)83 cited
- → Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking(2004)68 cited
- → WordNet Ontology Based Model for Web Retrieval(2005)37 cited
- → Calibration of Short Range 2D Laser Range Finder for 3D SLAM Usage(2015)35 cited
- → Distributed Partial Order Reduction of State Spaces(2005)25 cited
- → How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors(2006)23 cited
- Concept Lattice Generation by Singular Value Decomposition(2004)
- → Parallel Algorithms for Finding SCCs in Implicitly Given Graphs(2007)17 cited
- LSI vs. Wordnet Ontology in Dimension Reduction for Information Retrieval(2004)
- → Normalization Impact on SVD-Based Iris Recognition(2009)11 cited