J. Frederico Carvalho

15 papers A* 1A 1C 2Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2021 J jnl
Free space of rigid objects: caging, path non-existence, and narrow passage detection.
Int. J. Robotics Res.
Anastasiia Varava, J. Frederico Carvalho, Danica Kragic, Florian T. Pokorny
2021 — conf
Sequential Topological Representations for Predictive Models of Deformable Objects.
L4DC
Rika Antonova, Anastasiia Varava, Peiyang Shi, J. Frederico Carvalho, Danica Kragic
2020 J jnl
Free Space of Rigid Objects: Caging, Path Non-Existence, and Narrow Passage Detection.
CoRR
Anastasiia Varava, J. Frederico Carvalho, Danica Kragic, Florian T. Pokorny
2020 J jnl
Sequential Topological Representations for Predictive Models of Deformable Objects.
CoRR
Rika Antonova, Anastasiia Varava, Peiyang Shi, J. Frederico Carvalho, Danica Kragic
2020 J jnl
The effect of Target Normalization and Momentum on Dying ReLU.
CoRR
Isac Arnekvist, J. Frederico Carvalho, Danica Kragic, Johannes A. Stork
2019 A conf
Long-term Prediction of Motion Trajectories Using Path Homology Clusters.
IROS
J. Frederico Carvalho, Mikael Vejdemo-Johansson, Florian T. Pokorny, Danica Kragic
2018 J jnl
An algorithm for calculating top-dimensional bounding chains.
PeerJ Comput. Sci.
J. Frederico Carvalho, Mikael Vejdemo-Johansson, Danica Kragic, Florian T. Pokorny
2018 C conf
Free Space of Rigid Objects: Caging, Path Non-existence, and Narrow Passage Detection.
WAFR
Anastasiia Varava, J. Frederico Carvalho, Florian T. Pokorny, Danica Kragic
2018 A* conf
Path Clustering with Homology Area.
ICRA
J. Frederico Carvalho, Mikael Vejdemo-Johansson, Danica Kragic, Florian T. Pokorny
2017 J jnl
A Decomposition-Based Approach to Reasoning about Free Space Path-Connectivity for Rigid Objects in 2D.
CoRR
Anastasiia Varava, J. Frederico Carvalho, Danica Kragic, Florian T. Pokorny
2017 J jnl
An algorithm for calculating top-dimensional bounding chains.
PeerJ Prepr.
J. Frederico Carvalho, Mikael Vejdemo-Johansson, Danica Kragic, Florian T. Pokorny
2017 C conf
Caging and Path Non-existence: A Deterministic Sampling-Based Verification Algorithm.
ISRR
Anastasiia Varava, J. Frederico Carvalho, Florian T. Pokorny, Danica Kragic
2017 J jnl
Composability and controllability of structural linear time-invariant systems: Distributed verification.
Autom.
J. Frederico Carvalho, Sérgio Daniel Pequito, A. Pedro Aguiar, Soummya Kar, Karl Henrik Johansson
2015 J jnl
Static Output Feedback: On Essential Feasible Information Patterns.
CoRR
J. Frederico Carvalho, Sérgio Daniel Pequito, A. Pedro Aguiar, Soummya Kar, George J. Pappas
2015 — conf
Static output feedback: On essential feasible information patterns.
CDC
J. Frederico Carvalho, Sérgio Pequito, A. Pedro Aguiar, Soummya Kar, George J. Pappas