Phan, B. T., Salay, R., Czarnecki, K., Abdelzad, V., Denouden, T., & Vernekar, S. (2018). Calibrating Uncertainties in Object Localization Task Presented at the Calibrating Uncertainties in Object Localization Task conference. (Original work published 2018)
References
Filter by:
2018
2017
Zulkoski, E., Bright, C., Heinle, A., Kotsireas, I., Czarnecki, K., & Ganesh, V. (2017). Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures Journal of Automated Reasoning, 58, 339. https://doi.org/10.1007/s10817-016-9396-y (Original work published 2011)
Sarkar, A., Czarnecki, K., Angus, M., Li, C., & Waslander, S. (2017). Trajectory prediction of traffic agents at urban intersections through learned interactions. Presented at the Trajectory Prediction of Traffic Agents at Urban Intersections through Learned Interactions. conference. Retrieved from https://ieeexplore.ieee.org/document/8317731
Kido, K., Sedwards, S., & Hasuo, I. (2017). Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems Seoul, South Korea: Springer. Retrieved from https://link.springer.com/chapter/10.1007/978-3-030-17910-6_9
Queiroz, R., Passos, L., Valente, M. T., Hunsen, C., Apel, S., & Czarnecki, K. (2017). The shape of feature code: an analysis of twenty C-preprocessor-based systems Software \& Systems Modeling, 16, 96. https://doi.org/10.1007/s10270-015-0483-z (Original work published 2017)
Valov, P., Petkovich, J.-C., Guo, J., Fischmeister, S., & Czarnecki, K. (2017). Transferring Performance Prediction Models Across Different Hardware Platforms Presented at the Transferring Performance Prediction Models Across Different Hardware Platforms conference. https://doi.org/10.1145/3030207.3030216 (Original work published 2017)
Ross, J., Murashkin, A., Liang, J. H., Antkiewicz, M., & Czarnecki, K. (2017). Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems Software and Systems Modeling. https://doi.org/10.1007/s10270-017-0592-y
Guo, J., Blais, E., Czarnecki, K., & van Beek, P. (2017). A Worst-Case Analysis of Constraint-Based Algorithms for Exact Multi-objective Combinatorial Optimization Presented at the A Worst-Case Analysis of Constraint-Based Algorithms for Exact Multi-Objective Combinatorial Optimization conference. https://doi.org/10.1007/978-3-319-57351-9_16 (Original work published 2017)
Hartmanns, A., Sedwards, S., & D’Argenio, P. (2017). Efficient Simulation-based Verification of Probabilistic Timed Automata Efficient Simulation-Based Verification of Probabilistic Timed Automata, 1419\textendash1430. Las Vegas, USA: IEEE. https://doi.org/10.1109/WSC.2017.8247885
Zulkoski, E., Martins, R., Wintersteiger, C., Robere, R., Liang, J. H., Czarnecki, K., & Ganesh, V. (2017). Empirically Relating Complexity-theoretic Parameters with SAT Solver Performance Presented at the Empirically Relating Complexity-Theoretic Parameters With SAT Solver Performance conference. EPIC. (Original work published 2017)