Follow
Mariana Kolberg
Mariana Kolberg
Verified email at inf.ufrgs.br - Homepage
Title
Cited by
Cited by
Year
A novel measurement model based on abBRIEF for global localization of a UAV over satellite images
M Mantelli, D Pittol, R Neuland, A Ribacki, R Maffei, V Jorge, E Prestes, ...
Robotics and Autonomous Systems 112, 304-319, 2019
352019
Exploring the IEEE ontology for robotics and automation for heterogeneous agent interaction
VAM Jorge, VF Rey, R Maffei, SR Fiorini, JL Carbonera, F Branchi, ...
Robotics and Computer-Integrated Manufacturing 33, 12-20, 2015
262015
Dense linear system: a parallel self-verified solver
ML Kolberg, LG Fernandes, DM Claudio
International Journal of Parallel Programming 36, 412-425, 2008
242008
Hybridization of Monte Carlo and set-membership methods for the global localization of underwater robots
R Neuland, J Nicola, R Maffei, L Jaulin, E Prestes, M Kolberg
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2014
232014
Ouroboros: Using potential field in unexplored regions to close loops
VAM Jorge, R Maffei, GS Franco, J Daltrozo, M Giambastiani, M Kolberg, ...
2015 IEEE International Conference on Robotics and Automation (ICRA), 2125-2131, 2015
222015
Improving the performance of a verified linear system solver using optimized libraries and parallel computation
M Kolberg, G Bohlender, D Claudio
High Performance Computing for Computational Science-VECPAR 2008: 8th …, 2008
192008
Optimizing a parallel self-verified method for solving linear systems
M Kolberg, L Baldo, P Velho, LG Fernandes, D Claudio
International Workshop on Applied Parallel Computing, 949-955, 2006
172006
Traversability analysis by semantic terrain segmentation for mobile robots
S Hosseinpoor, J Torresen, M Mantelli, D Pitto, M Kolberg, R Maffei, ...
2021 IEEE 17th International Conference on Automation Science and …, 2021
142021
Parallel verified linear system solver for uncertain input data
M Kolberg, M Dorn, LG Fernandes, G Bohlender
2008 20th International Symposium on Computer Architecture and High …, 2008
132008
A multithreaded verified method for solving linear systems in dual-core processors
M Kolberg, D Cordeiro, G Bohlender, A Goldman
Workshop on State-of-the-Art in Scientific and Parallel Computing (PARA 2008), 9, 2008
132008
Integrated exploration using time-based potential rails
R Maffei, VAM Jorge, E Prestes, M Kolberg
2014 IEEE International Conference on Robotics and Automation (ICRA), 3694-3699, 2014
122014
Job profiling in high performance printing
T Nunes, F Giannetti, M Kolberg, R Nemetz, A Cabeda, LG Fernandes
Proceedings of the 9th ACM symposium on Document engineering, 109-118, 2009
112009
Improving the precision of AUVs localization in a hybrid interval-probabilistic approach using a set-inversion strategy
R Neuland, R Maffei, L Jaulin, E Prestes, M Kolberg
Unmanned Systems 2 (04), 361-375, 2014
92014
Parallel Selfverified Method for Solving Linear Systems
M Kolberg, L Baldo, P Velho, T Webber, LG Fernandes, P Fernandes, ...
7th VECPAR-International Meeting on High Performance Computing for …, 2006
92006
Fast monte carlo localization using spatial density information
R Maffei, VAM Jorge, VF Rey, M Kolberg, E Prestes
2015 IEEE International Conference on Robotics and Automation (ICRA), 6352-6358, 2015
82015
Segmented dp-slam
R Maffei, V Jorge, M Kolberg, E Prestes
2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 31-36, 2013
82013
High performance printing: increasing personalized documents rendering through PPML jobs profiling and scheduling
T Nunes, M Raeder, M Kolberg, LG Fernandes, A Cabeda, F Giannetti
2009 International Conference on Computational Science and Engineering 1 …, 2009
82009
Global localization over 2d floor plans with free-space density based on depth information
R Maffei, D Pittol, M Mantelli, E Prestes, M Kolberg
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2020
72020
Efficient Parallel Solvers for Large Dense Systems of Linear Interval Equations.
ML Kolberg, W Krämer, M Zimmer
Reliab. Comput. 15 (3), 193-206, 2011
72011
Solving dense interval linear systems with verified computing on multicore architectures
CR Milani, M Kolberg, LG Fernandes
International Conference on High Performance Computing for Computational …, 2010
72010
The system can't perform the operation now. Try again later.
Articles 1–20