Research Output

Filter
Paper
1977

Mechanizing the solution of perturbation problems (invited)

Fitch, J. P., 1977.

Research output: Contribution to conferencePaper

1989

Compiling for Parallelism

Fitch, J. P., 1989, p. 19-32. 14 p.

Research output: Contribution to conferencePaper

1990

Implementing Timewarp in Linda and LISP

Hutchinson, D. J. C. H. & Fitch, J. P., Nov 1990.

Research output: Contribution to conferencePaper

1991

FACES: The Facial Animation, Construction and Editing System

Patel, M. & Willis, P., Sep 1991.

Research output: Contribution to conferencePaper

1995

Poor quality video link affects speech but not gaze

Monk, A. F. & Watts, L., 1 Jan 1995, p. 274-275. 2 p.

Research output: Contribution to conferencePaper

1996

Interfacing REDUCE to Java

Norman, A., Fitch, J., Calmet, J. (ed.) & Limongelli, C. (ed.), Sep 1996, p. 113-119. 7 p.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Remote assistance: a view of the work and a view of the face?

Watts, L. & Monk, A. F., 1 Jan 1996, p. 101-102. 2 p.

Research output: Contribution to conferencePaper

8 Citations (Scopus)
1997

Telemedical consultation: Task characteristics

Watts, L. & Monk, A., 1 Jan 1997, p. 534-535. 2 p.

Research output: Contribution to conferencePaper

12 Citations (Scopus)
1998

Fragmented interaction: Establishing mutual orientation in virtual environments

Hindmarsh, J., Fraser, M., Heath, C., Benford, S. & Greenhalgh, C., 1 Dec 1998, p. 217-226. 10 p.

Research output: Contribution to conferencePaper

123 Citations (Scopus)
1999

Supporting awareness and interaction through collaborative virtual interfaces

Fraser, M., Benford, S., Hindmarsh, J. & Heath, C., 1 Dec 1999, p. 27-36. 10 p.

Research output: Contribution to conferencePaper

44 Citations (Scopus)
2000

3D Model Acquisition by Tracking 2DWireframes

Brown, M., Drummond, T. & Cipolla, R., Sep 2000, p. 656-665. 10 p.

Research output: Contribution to conferencePaper

A Proposal for the Humanoid Agent-builders League (HAL)

Bryson, J. J., 2000, p. 1-6. 6 p.

Research output: Contribution to conferencePaper

Architectures and Idioms: Making Progress in Agent Design

Bryson, J. J., Stein, L. A., Castelfranchi, C. (ed.) & Lesperance, Y. (ed.), 2000, p. 73-88. 16 p.

Research output: Contribution to conferencePaper

Dimension space for the design of interactive systems within their physical environments

Graham, T. C. N., Watts, L. A., Calvary, G., Coutaz, J., Dubois, E. & Nigay, L., 1 Aug 2000, p. 406-416. 11 p.

Research output: Contribution to conferencePaper

9 Citations (Scopus)

Hierarchy and Sequence vs. Full Parallelism in Action Selection

Bryson, J. J., 2000, p. 147-156. 10 p.

Research output: Contribution to conferencePaper

Making Modularity Work: Combining Memory Systems and Intelligent Processes in a Dialog Agent

Bryson, J. J., 2000, p. 21-30. 10 p.

Research output: Contribution to conferencePaper

On the Geometry of Interaction for Classical Logic

Pym, D. J., 2000, p. 211-220. 10 p.

Research output: Contribution to conferencePaper

Surface Animation for Flower Growth

Lu, J., Willis, C. P. & Paddon, D., 29 Jun 2000, p. 263-272. 10 p.

Research output: Contribution to conferencePaper

5 Citations (Scopus)

The Effect of Nonlinear Propagation on Heating of Tissue: A Numerical Model of Diagnostic Ultrasound Beams

Cahill, M., Humphrey, V. F. & Doody, C., 2000, p. 483-486. 4 p.

Research output: Contribution to conferencePaper

File
15 Downloads (Pure)
2001

A Generic Root Operation for Exact Real Arithmetic

Hur, N., Davenport, J. H., Blanck, J. (ed.), Brattka, V. (ed.) & Hertling, P. (ed.), 2001, p. 82--87. 6 p.

Research output: Contribution to conferencePaper

Agent Development Tools

Bryson, J. J., Decker, K., DeLoach, S., Huhns, M., Wooldridge, M., Castelfranchi, C. (ed.) & Lesperance, Y. (ed.), 2001.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Bunched Logic Programming

Pym, D. J. & Armelin, P., 2001, p. 289-304. 16 p.

Research output: Contribution to conferencePaper

9 Citations (Scopus)

Decisions, Agents and Games

De Vos, M., Vermeir, D. & Van Benthem, J. (ed.), Jul 2001, p. 219--232. 14 p.

Research output: Contribution to conferencePaper

Embodiment vs. Memetics: Does Language Need a Physical Plant?

Bryson, J. J., Pfeifer, R. (ed.) & Westermann, G. (ed.), Jul 2001.

Research output: Contribution to conferencePaper

Exploiting interactivity, influence, space and time to explore non-linear drama in virtual worlds

Craven, M., Taylor, I., Drozd, A., Purbrick, J., Greenhalgh, C., Benford, S., Fraser, M., Bowers, J., Jää-Aro, K. M., Lintermann, B. & Hoch, M., 1 Jan 2001, p. 30-37. 8 p.

Research output: Contribution to conferencePaper

19 Citations (Scopus)

Forward and Backward Chaining in Linear Logic

Pym, D. J., Winikoff, M. & Harland, J., 2001.

Research output: Contribution to conferencePaper

Hypothesis Testing for Complex Agents

Bryson, J. J., Lowe, W., Stein, L. A., Meystel, A. M. (ed.) & Messina, E. R. (ed.), Aug 2001, p. 233-240. 8 p.

Research output: Contribution to conferencePaper

Lattice Attacks on RSA-Encrypted IP and TCP

Crouch, P. A., Davenport, J. H. & Honary, B. (ed.), Dec 2001, p. 329--338. 10 p.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Logic Programming Agents and Game Theory

De Vos, M. & Vermeir, D., Mar 2001, p. 27--33. 7 p.

Research output: Contribution to conferencePaper

Managing visibility in ubiquitous multimedia communication environments

Watts, L. A. & Dubois, E., Sep 2001, p. 65--81. 17 p.

Research output: Contribution to conferencePaper

Modularity and Design in Reactive Intelligence

Bryson, J. J. & Stein, L. A., Aug 2001, p. 1115-1120. 6 p.

Research output: Contribution to conferencePaper

38 Citations (Scopus)

Modularity and Specialized Learning: Mapping Between Agent Architectures and Brain Organization

Bryson, J. J., Stein, L. A., Stefan, W. (ed.), Jim, A. (ed.) & David, W. (ed.), 2001, p. 98-113. 16 p.

Research output: Contribution to conferencePaper

Modularity and Specialized Learning in the Organization of Behaviour

Bryson, J. J., Stein, L. A., French, R. (ed.) & Sougne, J. (ed.), 2001, p. 53-62. 10 p.

Research output: Contribution to conferencePaper

New Complexity bounds for cylindrical decompositions of sub_Pfaffian sets

Vorobjov, N. & Pericleous, S., 2001.

Research output: Contribution to conferencePaper

Non-commutativity and MELL in the Calculus of Structures

Guglielmi, A. & Strassburger, L., Sep 2001, p. 54-68. 15 p.

Research output: Contribution to conferencePaper

63 Citations (Scopus)

Notes towards a semantics for Proof-Search

Pym, D. J., 2001.

Research output: Contribution to conferencePaper

Orchestrating a mixed reality performance

Koleva, B., Taylor, I., Benford, S., Fraser, M., Greenhalgh, C., Schnädelbach, H., Vom Lehn, D., Heath, C., Row-Farr, J. & Adams, M., 1 Jan 2001, p. 38-45. 8 p.

Research output: Contribution to conferencePaper

46 Citations (Scopus)

Packet Reading for Network Emulation

Bradford, R., Simmonds, R. & Unger, B., Aug 2001, p. 150--157. 8 p.

Research output: Contribution to conferencePaper

9 Citations (Scopus)

Towards Continuous Image Representations

Labrosse, F. & Willis, P. J., 2001.

Research output: Contribution to conferencePaper

File
39 Downloads (Pure)
2002

Action Selection for an Artificial Life Model of Social Behaviorin Non-Human Primates

Bryson, J. J., Flack, J. C. & Hemelrijk, C. (ed.), Sep 2002, p. 42-45. 4 p.

Research output: Contribution to conferencePaper

A Non-commutative Extension of MELL

Guglielmi, A. & Strassburger, L., Oct 2002, p. 231-246. 16 p.

Research output: Contribution to conferencePaper

18 Citations (Scopus)

Invariant Features from Interest Point Groups

Brown, M. & Lowe, D., Sep 2002, p. 253-262. 10 p.

Research output: Contribution to conferencePaper

Painterly Rendering using Image Salience

Collomosse, J. P. & Hall, P. M., Jun 2002, p. 122--128. 7 p.

Research output: Contribution to conferencePaper

41 Citations (Scopus)

The augurscope: A mixed reality interface for outdoors

Schnädelbach, H., Koleva, B., Flintham, M., Fraser, M., Izadi, S., Chandler, P., Foster, M., Benford, S., Greenhalgh, C. & Rodden, T., 1 Dec 2002, p. 9-16. 8 p.

Research output: Contribution to conferencePaper

50 Citations (Scopus)

Towards better simplification of elementary functions

Bradford, R. & Davenport, J. H., 2002.

Research output: Contribution to conferencePaper

19 Citations (Scopus)

Web server benchmarking using parallel WAN emulation

Bradford, R., Simmonds, R., Williamson, C. L., Arlitt, M. F. & Unger, B., 2002, p. 286--287. 2 p.

Research output: Contribution to conferencePaper

3 Citations (Scopus)

What Monkeys See and Don't Do: Agent Models of Safe Learning in Primates

Bryson, J. J., Hauser, M. D., Barley, M. (ed.) & Guesgen, H. W. (ed.), Mar 2002.

Research output: Contribution to conferencePaper

2003

Action Selection and Individuation in Agent Based Modelling

Bryson, J. J., Sallach, D. L. (ed.) & Macal, C. (ed.), 2003, p. 317-330. 14 p.

Research output: Contribution to conferencePaper

A method to add Hidden Markov Models with application to learning articulated motion

Hicks, Y. A., Hall, P. M. & Marshall, A. D. M., Sep 2003, p. 489--498. 10 p.

Research output: Contribution to conferencePaper

An Ordered Choice Logic Programming Front-End for Answer Set Solvers

De Vos, M. & Buccafurri, F. (ed.), Sep 2003, p. 362--373. 12 p.

Research output: Contribution to conferencePaper