David Robertson

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2010
State dependent control of a robotic manipulator used for nuclear decommissioning activities.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

2009
Choreographing Web Services.
IEEE Trans. Serv. Comput., 2009

Sharing Choreographies in OpenKnowledge: A Novel Approach to Interoperability.
J. Softw., 2009

Biomedical Event Detection using Rules, Conditional Random Fields and Parse Tree Distances.
Proceedings of the BioNLP 2009 Workshop Companion Volume for Shared Task, BioNLP@HLT-NAACL 2009, 2009

2007
Wavelet Methods for Spike Detection in Mouse Renal Sympathetic Nerve Activity.
IEEE Trans. Biomed. Eng., 2007

Using computer aided case based reasoning to support clinical reasoning in community occupational therapy.
Comput. Methods Programs Biomed., 2007

Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus.
Proceedings of the Short Paper Proceedings of the 2nd International Symposium on Languages in Biology and Medicine (LBM 2007), 2007

Dynamic Verification of Trust in Distributed Open Systems.
Proceedings of the IJCAI 2007, 2007

Adaptive Agent Model: an Agent Interaction and Computation Model.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
Transforming a Company, Project by Project: The IT Engagement Model.
MIS Q. Executive, 2006

2005
The Role of Agent Interaction in Models of Computing: Panelist Reviews.
Proceedings of the Workshop on the Foundations of Interactive Computation, 2005

Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems.
Proceedings of the EUMAS 2005, 2005

Protocol Synthesis with Dialogue Structure Theory.
Proceedings of the EUMAS 2005, 2005

2003
Web Site Synthesis Based on Computational Logic.
Knowl. Inf. Syst., 2003

Ontology Extraction for Distributed Environments.
Proceedings of the Knowledge Transformation for the Semantic Web, 2003

2000
Evaluating focus theories for dialogue management.
Int. J. Hum. Comput. Stud., 2000

1999
Parallelization of Radiance For Real Time Interactive Lighting Visualization Walkthroughs.
Proceedings of the ACM/IEEE Conference on Supercomputing, 1999

1998
The MOSTRAIN (mobile services for high speed trains) system demonstrator.
Proceedings of the 9th IEEE International Symposium on Personal, 1998

1996
Declarative specifications.
Knowl. Eng. Rev., 1996

Domain Specific Problem Description.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

1995
Performance of a statistically multiplexed access mechanism for a TDMA radio interface.
IEEE Wirel. Commun., 1995

1994
Development and optimisation of a statistical multiplexing mechanism for ATDMA.
Proceedings of 44th IEEE Vehicular Technology Conference: Creating Tomorrow's Mobile Systems, 1994

An Experimental Evaluation of Different Proposals for Teaching Prolog.
Proceedings of the 6th Annual Workshop of the Psychology of Programming Interest Group, 1994

1991
Eco-Logic - Logic-Based Approaches to Ecological Modeling.
Logic programming, MIT Press, ISBN: 978-0-262-18143-3, 1991

1973
Graphics and interactive systems: design considerations of a software system.
Proceedings of the American Federation of Information Processing Societies: 1973 National Computer Conference, 1973


  Loading...