Skip to main content

Research Repository

Advanced Search

Outputs (2845)

A CALL System for Learning Preposition Usage
Presentation / Conference Contribution
(2016, December). A CALL System for Learning Preposition Usage. Presented at 54th Annual Meeting of the Association for Computational Linguistics, Berlin, Germany

A multiscale optimisation algorithm for shape and material reconstruction from a single X-ray image
Presentation / Conference Contribution
Westmacott, H., Ivrissimtzis, I., & Weinzierl, T. (2024, January). A multiscale optimisation algorithm for shape and material reconstruction from a single X-ray image. Presented at ICIGP 2024: The 7th International Conference on Image and Graphics Processing, Beijing, China

We produce thickness and bone to soft tissue ratio estimations from a single, 2D medical X-ray image. For this, we simulate the scattering of the rays through a model of the object and embed this simulation into an optimiser which iteratively adjusts... Read More about A multiscale optimisation algorithm for shape and material reconstruction from a single X-ray image.

Stopping times, metrics and approximate counting
Presentation / Conference Contribution
Bordewich, M., Dyer, M., & Karpinski, M. (2006, July). Stopping times, metrics and approximate counting. Presented at 33rd International Colloquium of Automata, Languages and Programming (ICALP 2006)., Venice, Italy

In this paper we examine the importance of the choice of metric in path coupling, and its relationship to stopping time analysis. We give strong evidence that stopping time analysis is no more powerful than standard path coupling. In particular, we p... Read More about Stopping times, metrics and approximate counting.

Modular and efficient top-down parsing for ambiguous left-recursive grammars
Presentation / Conference Contribution
Frost, R., Hafiz, R., & Callaghan, P. (2007, June). Modular and efficient top-down parsing for ambiguous left-recursive grammars. Presented at 10th International Conference on Parsing Technology : IWPT'07, Prague

In functional and logic programming, parsers can be built as modular executable specifications of grammars, using parser combinators and definite clause grammars respectively. These techniques are based on top-down backtracking search. Commonly used... Read More about Modular and efficient top-down parsing for ambiguous left-recursive grammars.

Stop-list Slicing
Presentation / Conference Contribution
Gallagher, K., Binkley, D., Harman, M., Di Penta, M., & Moonen, L. (2006, September). Stop-list Slicing. Presented at 6th IEEE International Workshop on Source Code and Analysis and Manipulation, SCAM'06., Philadelphia, PA, USA

Traditional program slicing requires two parameters: a program location and a variable, or perhaps a set of variables, of interest. Stop-list slicing adds a third parameter to the slicing criterion: those variables that are not of interest. This thir... Read More about Stop-list Slicing.

An investigation on using web services for micro-payment
Presentation / Conference Contribution
Song, W., Chen, D., Chung, J.-Y., & Zhang, L. (2004, September). An investigation on using web services for micro-payment. Presented at European Conference on Web Services, Erfurt, Germany

E-commerce development and applications have been bringing the Internet to business and marketing and reforming our current business styles and processes. As Business to Business (B2B) has been a main stream of the e-commerce activities for a decade,... Read More about An investigation on using web services for micro-payment.