Research Output

Filter
Paper
2003

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

ASP03: Answer Set Programming: Advances in Theory and Implementation

De Vos, M. & Provetti, A., Sep 2003.

Research output: Contribution to conferencePaper

Capturing agent autonomy in roles and XML

Wei, G., Rovatsos, M. & Nickles, M., 2003.

Research output: Contribution to conferencePaper

10 Citations (Scopus)

Cartoon-style Rendering of Motion from Video

Collomosse, J. P., Jul 2003, p. 117--124. 8 p.

Research output: Contribution to conferencePaper

Engaging in Email Discussion: Conversational Context and Social Identity in Computer-Mediated Communication

Watts, L. A., Nugroho, Y. & Lea, M., Sep 2003, p. 559--566. 8 p.

Research output: Contribution to conferencePaper

Genetic algorithms for flower growth

Lu, J., Willis, C. P. & Paddon, D., 7 Apr 2003, p. 27-33. 7 p.

Research output: Contribution to conferencePaper

Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice

Brain, M., De Vos, M., Marina~De, V. (ed.) & Alessandro, P. (ed.), 2003, p. 224-238. 15 p.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Interaction is meaning: a new model for communication in open systems

Rovatsos, M., Nickles, M. & Weiss, G., 2003.

Research output: Contribution to conferencePaper

7 Citations (Scopus)

Introducing pervasive computing to society

Kostakos, V. & O'Neill, E., 2003.

Research output: Contribution to conferencePaper

MTRC-Dream: Music in a mathematical environment

ffitch, J. & Dobson, R., Oct 2003, p. 389. 1 p.

Research output: Contribution to conferencePaper

On Structuring Proof Search for First Order Linear Logic

Bruscoli, P. & Guglielmi, A., 2003, p. 389-406. 18 p.

Research output: Contribution to conferencePaper

Quasi-3D Cel-based Animation

Qi, M. & Willis, P. J., 2003.

Research output: Contribution to conferencePaper

Recognising panoramas

Brown, M. & Lowe, D. G., Oct 2003, p. 1218-1225. 8 p.

Research output: Contribution to conferencePaper

The Transport Project

ffitch, J., Sep 2003.

Research output: Contribution to conferencePaper

5 Citations (Scopus)

Video analysis for Cartoon-style Special Effects

Collomosse, J. P., Rowntree, D. & Hall, P. M., Sep 2003, p. 749--758. 10 p.

Research output: Contribution to conferencePaper

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

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)
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