| 1. |
- Kristan, M., et al.
(författare)
-
The Eighth Visual Object Tracking VOT2020 Challenge Results
- 2020
-
Ingår i: Computer Vision. - Cham : Springer International Publishing. - 9783030682378 ; , s. 547-601
-
Konferensbidrag (refereegranskat)abstract
- The Visual Object Tracking challenge VOT2020 is the eighth annual tracker benchmarking activity organized by the VOT initiative. Results of 58 trackers are presented; many are state-of-the-art trackers published at major computer vision conferences or in journals in the recent years. The VOT2020 challenge was composed of five sub-challenges focusing on different tracking domains: (i) VOT-ST2020 challenge focused on short-term tracking in RGB, (ii) VOT-RT2020 challenge focused on “real-time” short-term tracking in RGB, (iii) VOT-LT2020 focused on long-term tracking namely coping with target disappearance and reappearance, (iv) VOT-RGBT2020 challenge focused on short-term tracking in RGB and thermal imagery and (v) VOT-RGBD2020 challenge focused on long-term tracking in RGB and depth imagery. Only the VOT-ST2020 datasets were refreshed. A significant novelty is introduction of a new VOT short-term tracking evaluation methodology, and introduction of segmentation ground truth in the VOT-ST2020 challenge – bounding boxes will no longer be used in the VOT-ST challenges. A new VOT Python toolkit that implements all these novelites was introduced. Performance of the tested trackers typically by far exceeds standard baselines. The source code for most of the trackers is publicly available from the VOT page. The dataset, the evaluation kit and the results are publicly available at the challenge website (http://votchallenge.net ).
|
|
| 2. |
|
|
| 3. |
- Guo, M., et al.
(författare)
-
Message from the MSNCom 2015 workshop chairs
- 2015
-
Ingår i: Proceedings - 15th IEEE International Conference on Computer and Information Technology, CIT 2015, 14th IEEE International Conference on Ubiquitous Computing and Communications, IUCC 2015, 13th IEEE International Conference on Dependable, Autonomic and Secure Computing, DASC 2015 and 13th IEEE International Conference on Pervasive Intelligence and Computing, PICom 2015. - : Institute of Electrical and Electronics Engineers (IEEE).
-
Konferensbidrag (refereegranskat)
|
|
| 4. |
|
|
| 5. |
|
|
| 6. |
|
|
| 7. |
|
|
| 8. |
- Seo, S. W., et al.
(författare)
-
Monolithically integrated InP photonic micro systems on a chip for O-CDMA and OAWG applications
- 2007
-
Ingår i: 2007 Photonics in Switching, PS. - 142441122X - 9781424411221 ; , s. 97-98
-
Konferensbidrag (refereegranskat)abstract
- A monolithically integrated InP chip for optical arbitrary waveform generation (OAWG) and/or pulse-coding/decoding is demonstrated using a 20-GHz AWG pair and 10 high-speed phase modulators. The fabrication and performance of the InP chip will be presented.
|
|
| 9. |
- Alanwar, Amr, et al.
(författare)
-
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
- 2022
-
Ingår i: Proceedings. - : Institute of Electrical and Electronics Engineers Inc..
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- This paper presents algorithms for performingdata-driven reachability analysis under temporal logic sideinformation. In certain scenarios, the data-driven reachablesets of a robot can be prohibitively conservative due to theinherent noise in the robot’s historical measurement data. Inthe same scenarios, we often have side information about therobot’s expected motion (e.g., limits on how much a robotcan move in a one-time step) that could be useful for furtherspecifying the reachability analysis. In this work, we showthat if we can model this side information using a signaltemporal logic (STL) fragment, we can constrain the datadriven reachability analysis and safely limit the conservatismof the computed reachable sets. Moreover, we provide formalguarantees that, even after incorporating side information, thecomputed reachable sets still properly over-approximate therobot’s future states. Lastly, we empirically validate the practicality of the over-approximation by computing constrained,data-driven reachable sets for the Small-Vehicles-for-Autonomy(SVEA) hardware platform in two driving scenarios.
|
|
| 10. |
- Alanwar, Amr, et al.
(författare)
-
Logical Zonotopes : A Set Representation for the Formal Verification of Boolean Functions
- 2023
-
Ingår i: 2023 62nd IEEE Conference on Decision and Control, CDC 2023. - : Institute of Electrical and Electronics Engineers (IEEE). ; , s. 60-66
-
Konferensbidrag (refereegranskat)abstract
- A logical zonotope, which is a new set representation for binary vectors, is introduced in this paper. A logical zonotope is constructed by XORing a binary vector with a combination of other binary vectors called generators. Such a zonotope can represent up to 2γ binary vectors using only γ generators. It is shown that logical operations over sets of binary vectors can be performed on the zonotopes' generators and, thus, significantly reduce the computational complexity of various logical operations (e.g., XOR, NAND, AND, OR, and semi-tensor products). Similar to traditional zonotopes' role in the formal verification of dynamical systems over real vector spaces, logical zonotopes can efficiently analyze discrete dynamical systems defined over binary vector spaces. We illustrate the approach and its ability to reduce the computational complexity in two use cases: (1) encryption key discovery of a linear feedback shift register and (2) safety verification of a road traffic intersection protocol.
|
|
