Skip to main content

Research Repository

Advanced Search

All Outputs (1379)

A Framework for Software Architecture Visualization Assessment (2005)
Presentation / Conference Contribution
Gallagher, K., Hatch, A., & Munro, M. (2005, September). A Framework for Software Architecture Visualization Assessment. Presented at Proceedings of the 3rd IEEE Workshop on Visualizing Software (VISSOFT 2005, Budapest, Hungary

In order to assess software architecture visualisation strategies, we qualitatively characterize then construct an assessment framework with 7 key areas and 31 features. The framework is used for evaluation and comparison of various strategies from m... Read More about A Framework for Software Architecture Visualization Assessment.

Matrix and graph orders derived from locally constrained graph homomorphisms (2005)
Presentation / Conference Contribution
Fiala, J., Paulusma, D., & Telle, J. A. (2023, August). Matrix and graph orders derived from locally constrained graph homomorphisms. Presented at 30th International Symposium on Mathematical Foundations of Computer Science : MFCS 2005, Gdansk, Poland

We consider three types of locally constrained graph homomorphisms: bijective, injective and surjective. We show that the three orders imposed on graphs by existence of these three types of homomorphisms are partial orders. We extend the well-known c... Read More about Matrix and graph orders derived from locally constrained graph homomorphisms.

Path coupling using stopping times (2005)
Presentation / Conference Contribution
Bordewich, M., Dyer, M., & Karpinski, M. (2005, August). Path coupling using stopping times. Presented at 15th International Symposium Fundamentals of Computation Theory : FCT 2005., Lubeck, Germany

We analyse the mixing time of Markov chains using path coupling with stopping times. We apply this approach to two hypergraph problems. We show that the Glauber dynamics for independent sets in a hypergraph mixes rapidly as long as the maximum degree... Read More about Path coupling using stopping times.

The External Network Problem with edge- or arc-connectivity requirements (2005)
Presentation / Conference Contribution
van den Heuvel, J., & Johnson, M. (2004, August). The External Network Problem with edge- or arc-connectivity requirements. Presented at Combinatorial and Algorithmic Aspects of Networking (CAAN 2004), Banff, Alberta, Canada

The connectivity of a communications network can often be enhanced if the nodes are able, at some expense, to form links using an external network. In this paper, we consider the problem of how to obtain a prescribed level of connectivity with a mini... Read More about The External Network Problem with edge- or arc-connectivity requirements.

A Private-Key Cryptosystem Based on the Rank Metric (2005)
Presentation / Conference Contribution
Gadouleau, M., & Yan, Z. (2005, July). A Private-Key Cryptosystem Based on the Rank Metric. Presented at Algebraic Methods in Cryptography Workshop, Beijing. China

Non-parametric 3D Surface Completion (2005)
Presentation / Conference Contribution
Breckon, T., & Fisher, R. (2005, June). Non-parametric 3D Surface Completion. Presented at Proc. Fifth International Conference on 3D Digital Imaging and Modeling

Surface Reconstruction with Neural Meshes. (2005)
Presentation / Conference Contribution
Ivrissimtzis, I., Jeong, W.-K., Lee, S., Lee, Y. L., & Seidel, H.-P. (2005, May). Surface Reconstruction with Neural Meshes. Presented at Mathematical Methods for Curves and Surfaces., Tromsoe, Norway

We describe a Learning algorithm for surface reconstruction based on an incrementally expanding Neural Network known as Growing Cell Structure. The Neural Network (Neural Mesh) expands by splitting its most active vertices and removing its least acti... Read More about Surface Reconstruction with Neural Meshes..

On the Computational Limits of Infinite Satisfaction. (2005)
Presentation / Conference Contribution
Dantchev, S., & Valencia, F. (2005, March). On the Computational Limits of Infinite Satisfaction. Presented at The 20th Annual ACM Symposium on Applied Computing, Santa Fe, USA

International workshop on realising evidence-based software engineering (2005)
Presentation / Conference Contribution
Budgen, D., Brereton, P., Kitchenham, B., & Linkman, S. (2005, February). International workshop on realising evidence-based software engineering. Presented at Proceedings - 27th International Conference on Software Engineering, ICSE05, St Louis, USA

This workshop is concerned with defining the procedures that are needed to establish a sound empirical foundation for the practices of Software Engineering. Our goal is to begin building a community that will review, analyse, codify and promulgate so... Read More about International workshop on realising evidence-based software engineering.

Links for learning: linking for an adaptive learning environment (2004)
Presentation / Conference Contribution
Moore, A., Stewart, C., Martin, D., Brailsford, T., & Ashman, H. (2004, December). Links for learning: linking for an adaptive learning environment. Presented at IASTED Intl Conference on Web-Based Education

Identifying efficiently solvable cases of Max CSP (2004)
Presentation / Conference Contribution
Cohen, D., Cooper, M., Jeavons, P., & Krokhin, A. (2004, December). Identifying efficiently solvable cases of Max CSP. Presented at 21st International Symposium on Theoretical Aspects of Computer Science