Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 9 out of 9Page size: 50
Sort by: Type
  1. Article › Research › Peer-reviewed

  2. Direction of Arrival Estimation for Indoor Environments Based on Acoustic Composition Model with a Single Microphone

    guo, X., Xu, X., Chen, X., Chen, J., Jia, R., Zhang, Z., Takiguchi, T. & Hancock, E. R., 1 Sep 2022

    Article in Pattern Recognition

  3. High-Availability Clusters: A Taxonomy, Survey, and Future Directions

    Somasekaram, P., Calinescu, R. & Buyya, R., 29 Dec 2021, (E-pub ahead of print)

    Article in Journal of Systems and Software

  4. Image retrieval based on query by saliency content

    Papushoy, A. & Bors, A. G., 26 Sep 2014, (E-pub ahead of print)

    Article in Digital Signal Processing

  5. Integer Linear Programming for the Bayesian network structure learning problem

    Bartlett, M. & Cussens, J., 10 Mar 2015, (E-pub ahead of print)

    Article in Artificial Intelligence

  6. Quantitative Verification with Adaptive Uncertainty Reduction

    Alasmari, N., Calinescu, R., Paterson, C. & Mirandola, R., 22 Feb 2022, (E-pub ahead of print)

    Article in Journal of Systems and Software

  7. Static probabilistic timing analysis for real-time systems using random replacement caches

    Altmeyer, S., Cucu-Grosjean, L. & Davis, R. I., 13 Jan 2015, (E-pub ahead of print)

    Article in Real-Time Systems

  8. Uncertainty Estimation for Stereo Matching Based on Evidential Deep Learning

    Wang, C., Wang, X., Zhang, J., Zhang, L., Bai, X., Ning, X., Zhou, J. & Hancock, E., 10 Dec 2021, (E-pub ahead of print)

    Article in Pattern Recognition

  9. Using formal reasoning on a model of tasks for FreeRTOS

    Woodcock, J. C. P., Cheng, S. & D'Souza, D., 20 Aug 2014, (E-pub ahead of print)

    Article in Formal Aspects of Computing

  10. Editorial › Research › Not peer-reviewed

  11. Special Issue on Performance Modeling, Benchmarking, and Simulation of High Performance Computing Systems

    Wright, S. A., 15 Jul 2022, (E-pub ahead of print)

    Editorial in Concurrency and Computation: Practice and Experience