BibSonomy ::  author :: Callaghan ::

bookmarks

publications

• A Mixed Reality Teaching and Learning Environment.
  Victor Callaghan and Michael Gardner and Bernard Horan and John Scott and Liping Shen and Minjuan Wang ICHL, volume 5169 of Lecture Notes in Computer Science, page 54-65. Springer, (2008)
  to learning teaching by sjtuelearninglab and 1 other person on Feb 1, 2010, 8:26 AM
  URL | BibTeX | spam 
• 3-D visualisation of design patterns and Java programs in computer science education.
  Michael Callaghan and Heiko Hirschmüller ITiCSE, page 37-40. ACM, (1998)
  to dblp by dblp on Jan 27, 2010, 12:00 AM
  URL | BibTeX | spam 
• Topological analysis of catalytic reaction networks: Water gas shift reaction on Cu 111
  C.A. Callaghan and S.A. Vilekar and I. Fishtik and R. Datta Applied Catalysis A, General345(2):213--232(2008)
  to Copper Heterogenous Water-Gas-Shift-Reaction by blackwing on Jan 25, 2010, 3:46 PM
  URL | BibTeX | spam 
• Affective e-Learning in residential and pervasive computing environments.
  Liping Shen and Victor Callaghan and Ruimin Shen Information Systems Frontiers10(4):461-472(2008)
  to affective elearning pervasive by sjtuelearninglab and 1 other person on Jan 20, 2010, 10:07 AM
  URL | BibTeX | spam 
• Making our environments intelligent.
  Diane J. Cook and Hani Hagras and Victor Callaghan and Abdelsalam Helal Pervasive and Mobile Computing5(5):556-557(2009)
  to dblp by dblp on Jan 14, 2010, 12:00 AM
  URL | BibTeX | spam 
• End-User Customisation of Intelligent Environments
  Jeannette Chin and Victor Callaghan and Graham Clarke Handbook of Ambient Intelligence and Smart Environments, Springer, New York, (2010)
  to adaptive ai application development embedded interaction interface ontology paper rules springer user v0910 by flint63 on Jan 9, 2010, 6:13 PM
  BibTeX | spam 
• ATRACO: Adaptive and Trusted Ambient Ecologies.
  Christos Goumopoulos and Achilles Kameas and Hani Hagras and Victor Callaghan and Michael Gardner and Wolfgang Minker and Michael Weber and Yacine Bellik and Apostolos Meliones SASO Workshops, page 96-101. IEEE Computer Society, (2008)
  to dblp by dblp on Dec 23, 2009, 12:00 AM
  URL | BibTeX | spam 
• Network File System NFS version 4 Protocol
  S. Shepler and B. Callaghan and D. Robinson and R. Thurlow and C. Beame and M. Eisler and D. Noveck RFC 3530 Proposed Standard, April 2003.
  to imported by henkellermann on Nov 15, 2009, 3:37 PM
  URL | BibTeX | spam 
• NFS version 4 Protocol
  S. Shepler and B. Callaghan and D. Robinson and R. Thurlow and C. Beame and M. Eisler and D. Noveck RFC 3010 Proposed Standard, December 2000. Obsoleted by RFC 3530 .
  to imported by henkellermann on Nov 15, 2009, 3:37 PM
  URL | BibTeX | spam 
• Security Negotiation for WebNFS
  A. Chiu and M. Eisler and B. Callaghan RFC 2755 Informational, January 2000.
  to imported by henkellermann on Nov 15, 2009, 3:37 PM
  URL | BibTeX | spam 
• NFS URL Scheme
  B. Callaghan RFC 2224 Informational, October 1997.
  to imported by henkellermann on Nov 15, 2009, 3:37 PM
  URL | BibTeX | spam 
• WebNFS Server Specification
  B. Callaghan RFC 2055 Informational, October 1996.
  to imported by henkellermann on Nov 15, 2009, 3:37 PM
  URL | BibTeX | spam 
• WebNFS Client Specification
  B. Callaghan RFC 2054 Informational, October 1996.
  to imported by henkellermann on Nov 15, 2009, 3:37 PM
  URL | BibTeX | spam 
• NFS Version 3 Protocol Specification
  B. Callaghan and B. Pawlowski and P. Staubach RFC 1813 Informational, June 1995.
  to imported by henkellermann on Nov 15, 2009, 3:37 PM
  URL | BibTeX | spam 
• Snoop Version 2 Packet Capture File Format
  B. Callaghan and R. Gilligan RFC 1761 Informational, February 1995.
  to imported by henkellermann on Nov 15, 2009, 3:37 PM
  URL | BibTeX | spam 
• Organization of Knowledge Using Order Factors.
  Gerard Ellis and Stephen Callaghan ICCS, volume 1257 of Lecture Notes in Computer Science, page 342-356. Springer, (1997)
  to dblp by dblp on Sep 25, 2009, 12:00 AM
  URL | BibTeX | spam 
• A managerial Odyssey
  Arthur Elkins and Dennis W. Callaghan Addison-Wesley, Reading, Mass., 2. ed edition, (1978)
  to Industry Social_aspects by fbw_hannover and 1 other person on Aug 21, 2009, 9:46 AM
  URL | BibTeX | spam 
• University of Durham: Description of the LOLITA System as Used in MUC-6
  Richard Morgan and Roberto Garigliano and Paul Callaghan and Sanjay Poria and Mark Smith and Agnieszka Urbanowicz and Russell Collingham and Marco Costantino and Chris Cooper and The Lolita Group Proceedings of the Message Understanding Conference MUC6, Morgan Kaufmann, (1995)
  to jabref:noKeywordAssigned by cbrewster on Aug 17, 2009, 12:45 AM
  BibTeX | spam 
• Description of the LOLITA System as used in MUC6
  R. Morgan and R. Garigliano and P. Callaghan and S. Poria and M. Smith and A. Urbanowicz and R. Collingham and M. Costantino and C. Cooper and T. Group Sixth Message Understanding Conference MUC6, Morgan Kaufmann, (1995)
  to jabref:noKeywordAssigned by cbrewster on Aug 17, 2009, 12:45 AM
  BibTeX | spam 
• University of Durham: description of the LOLITA system as used in MUC-6.
  Richard G. Morgan and Roberto Garigliano and Paul Callaghan and Sanjay Poria and Mark Smith and Chris Cooper MUC, page 71-85. (1995)
  to dblp by dblp on Apr 20, 2009, 12:00 AM
  URL | BibTeX | spam 
• Rose: compressed, log-structured replication.
  Russell Sears and Mark Callaghan and Eric A. Brewer PVLDB1(1):526-537(2008)
  to dblp by dblp on Mar 20, 2009, 12:00 AM
  URL | BibTeX | spam 
• Filters for Graph Matching.
  Steve Callaghan and Gerard Ellis and James Harland CATS, volume 20 of Australian Computer Science Communications, page 121-136. Springer-Verlag Singapore Pte. Ltd., (1998)
  to dblp by dblp on Mar 3, 2009, 12:00 AM
  URL | BibTeX | spam 
• 3-D visualisation of design patterns and Java programs in computer science education
  M. Callaghan and H. Hirschmuller SIGCSE Bulletin, 30, page 37 - 40. USA, Sept. 1998.
  to 700 java by darkmoonsinger on Mar 2, 2009, 9:06 PM
  URL | BibTeX | spam 
• Edwards Revisited: Technical Control and Call Centres
  George Callaghan and Paul Thompson Economic and Industrial Democracy22(1):13--37(2001)
  to call_centres industrial_relations labour_process labour_process_debate by dmaus on Feb 4, 2009, 5:10 PM
  BibTeX | spam 
• A benchmark for measuring mobile robot environment modelling performance.
  Simon Egerton and Victor Callaghan RAM, page 407-412. IEEE, (2004)
  to dblp by dblp on Jan 19, 2009, 12:00 AM
  URL | BibTeX | spam 
• Affective e-Learning in residential and pervasive computing environments.
  Liping Shen and Victor Callaghan and Ruimin Shen Information Systems Frontiers10(4):461-472(2008)
  to dblp by dblp and 1 other person on Nov 25, 2008, 12:00 AM
  URL | BibTeX | spam 
• A Mixed Reality Teaching and Learning Environment.
  Victor Callaghan and Michael Gardner and Bernard Horan and John Scott and Liping Shen and Minjuan Wang ICHL, volume 5169 of Lecture Notes in Computer Science, page 54-65. Springer, (2008)
  to dblp by dblp and 1 other person on Aug 27, 2008, 12:00 AM
  URL | BibTeX | spam 
• A Fuzzy Based Architecture for Learning Relevant Embedded Agents Associations in Ambient Intelligent Environments.
  Hakan Duman and Hani Hagras and Victor Callaghan FUZZ-IEEE, page 1-6. IEEE, (2007)
  to dblp by dblp on Jul 4, 2008, 12:00 AM
  URL | BibTeX | spam 
• Parallel Type-2 Fuzzy Logic Co-Processors for Engine Management.
  Christopher Lynch and Hani Hagras and Victor Callaghan FUZZ-IEEE, page 1-6. IEEE, (2007)
  to dblp by dblp on Jul 4, 2008, 12:00 AM
  URL | BibTeX | spam 
• Adding Intelligence to Ubiquitous Computing Environments.
  Hakan Duman and Hani Hagras and Victor Callaghan Computational Intelligence for Agent-based Systems, volume 72 of Studies in Computational Intelligence, Springer, (2007)
  to dblp by dblp on Mar 4, 2008, 12:00 AM
  URL | BibTeX | spam 
• Parser Combinators for Ambiguous Left-Recursive Grammars.
  Richard A. Frost and Rahmatullah Hafiz and Paul Callaghan PADL, volume 4902 of Lecture Notes in Computer Science, page 167-181. Springer, (2008)
  to dblp by dblp on Jan 4, 2008, 12:00 AM
  URL | BibTeX | spam 
• Kinetics and Catalysis of the Water-Gas-Shift Reaction: A Microkinetic and Graph Theoretic Approach
  C.A. Callaghan WORCESTER POLYTECHNIC INSTITUTE, (2006)
  to Water-Gas-Shift-Reaction kinetics microkinetics by blackwing on Dec 18, 2007, 11:44 AM
  BibTeX | spam 
• Low back joint loading and kinematics during standing and unsupported sitting
  J P Callaghan and S M McGill Ergonomics44(3):280-294February 2001.
  to back chair ergonomics imported by thomaslevine on Nov 21, 2007, 11:13 PM
  BibTeX | spam 
• Client-server architecture for collaborative remote experimentation.
  Michael J. Callaghan and Jim Harkin and E. McColgan and T. Martin McGinnity and Liam P. Maguire J. Network and Computer Applications30(4):1295-1308(2007)
  to dblp by dblp on Nov 12, 2007, 12:00 AM
  URL | BibTeX | spam 
• Evolving Spiking Neural Network Controllers for Autonomous Robots.
  Hani Hagras and Anthony Pounds-Cornish and Martin Colley and Victor Callaghan and Graham Clarke ICRA, page 4620-4626. IEEE, (2004)
  to dblp by dblp on Nov 2, 2007, 12:00 AM
  URL | BibTeX | spam 
• Managing Large-Scale Workflow Execution from Resource Provisioning to Provenance Tracking: The CyberShake Example.
  Ewa Deelman and Scott Callaghan and Edward Field and Hunter Francoeur and Robert Graves and Nitin Gupta and Vipin Gupta and Thomas Jordan and Carl Kesselman and Philip Maechling and John Mehringer and Gaurang Mehta and David Okaya and Karan Vahi and Li Zhao e-Science, page 14. IEEE Computer Society, (2006)
  to dblp by dblp on Oct 24, 2007, 12:00 AM
  URL | BibTeX | spam 
• Interpreting the Labour Party, Approaches to Labour politics and history
  John Callaghan and Steven Fielding and Steve Ludlam (eds.). Manchester University Press, (2003)
  to labour party by robdyke on Sep 25, 2007, 3:40 PM
  BibTeX | spam 
• Modelling Pervasive Environments Using Bespoke and Commercial Game-Based Simulators.
  Marc Davies and Victor Callaghan and Liping Shen LSMS 2, volume 4689 of Lecture Notes in Computer Science, page 67-77. Springer, (2007)
  to dblp by dblp on Aug 29, 2007, 12:00 AM
  URL | BibTeX | spam 
• An Experimental Comparison of Physical Mobile Interaction Techniques: Touching, Pointing and Scanning
  Enrico Rukzio and Karin Leichtenstern and Vic Callaghan 8th International Conference on Ubiquitous Computing, UbiComp 2006, Orange County, California, September 2006.
  to comparison interaction mobile point scan touch by mobileinteractionpublicspaces on Aug 27, 2007, 12:57 PM
  BibTeX | spam 
• An Incremental Adaptive Life Long Learning Approach for Type-2 Fuzzy Embedded Agents in Ambient Intelligent Environments.
  Hani Hagras and Faiyaz Doctor and Victor Callaghan and Antonio Lopez IEEE T. Fuzzy Systems15(1):41-55(2007)
  to dblp by dblp on Jun 12, 2007, 12:00 AM
  URL | BibTeX | spam 
• Web Based Virtual Oscilloscope for Underwater Acoustic Signals.
  D. Alderman and N. Callaghan and T. A. Jones and G. E. Roberts TOOLS 26, page 182-193. IEEE Computer Society, (1998)
  to dblp by dblp on Feb 15, 2007, 12:00 AM
  URL | BibTeX | spam 
• Intelligent User-Support in Learning Environments for Remote Experimentation.
  Jim Harkin and Michael J. Callaghan and T. Martin McGinnity and Liam P. Maguire ICITA 2, page 119-124. IEEE Computer Society, (2005)
  to dblp by dblp on Jan 5, 2007, 12:00 AM
  URL | BibTeX | spam 
• Client-Server Architecture for Collaborative Remote Experimentation.
  Michael J. Callaghan and Jim Harkin and M. El-Gueddari and T. Martin McGinnity and Liam P. Maguire ICITA 2, page 125-129. IEEE Computer Society, (2005)
  to dblp by dblp on Jan 5, 2007, 12:00 AM
  URL | BibTeX | spam 
• Evolving Task Specific Algorithms for Machine Vision Applications.
  Michael J. Callaghan and T. Martin McGinnity and Liam McDaid ICITA 1, page 371-374. IEEE Computer Society, (2005)
  to dblp by dblp on Jan 5, 2007, 12:00 AM
  URL | BibTeX | spam 
• An End User Tool for Customising Personal Spaces in Ubiquitous Computing Environments.
  Jeannette Shiaw-Yuan Chin and Victor Callaghan and Graham Clarke UIC, volume 4159 of Lecture Notes in Computer Science, page 1080-1089. Springer, (2006)
  to dblp by dblp on Dec 6, 2006, 12:00 AM
  URL | BibTeX | spam 
• Introducing Personal Operating Spaces for Ubiquitous Computing Environments.
  Anuroop Shahi and Victor Callaghan and Michael Gardner PERMID, page 10-14. LMU Munich, (2005)
  to dblp by dblp on Oct 27, 2006, 12:00 AM
  URL | BibTeX | spam 
• An Experimental Comparison of Physical Mobile Interaction Techniques: Touching, Pointing and Scanning.
  Enrico Rukzio and Karin Leichtenstern and Victor Callaghan and Paul Holleis and Albrecht Schmidt and Jeannette Shiaw-Yuan Chin Ubicomp, volume 4206 of Lecture Notes in Computer Science, page 87-104. Springer, (2006)
  to dblp by dblp on Oct 27, 2006, 12:00 AM
  URL | BibTeX | spam 
• LFTOP: An LF-Based Approach to Domain-Specific Reasoning.
  Jian-Min Pang and Paul Callaghan and Zhaohui Luo J. Comput. Sci. Technol.20(4):526-535(2005)
  to dblp by dblp on Jun 1, 2006, 12:00 AM
  URL | BibTeX | spam 
• PEIRCE User Manual
  G. Ellis and S. Callaghan Peirce Holdings International, Fitzroy, Australia, (1997)
  to imported by ademoor on May 10, 2006, 3:52 PM
  BibTeX | spam 
• The paragon performance monitoring environment.
  Bernhard Ries and R. Anderson and W. Auld and D. Breazeal and K. Callaghan and E. Richards and W. Smith SC, page 850-859. (1993)
  to dblp by dblp and 1 other person on Mar 14, 2006, 12:00 AM
  URL | BibTeX | spam 
• Description of the LOLITA System as used for MUC-6
  R. Morgan and R. Garigliano and P. Callaghan and S. Poria and M. Smith and A. Urbanowicz and R. Collingham and M. Costantino and C. Cooper Proceedings of the Sixth Message Understanding Conference MUC-6, page 71-86. San Francisco, Morgan Kaufmann, California, (1995)
  to imported by diana on Mar 9, 2006, 3:13 PM
  BibTeX | spam 
• Modifying freshman perception of the CIS graduate's workstyle.
  Charles H. Mawhinney and David R. Callaghan and Edward G. Cale Jr. SIGCSE, page 78-82. ACM, (1989)
  to dblp by dblp on Feb 15, 2006, 12:00 AM
  URL | BibTeX | spam 
• Strategy simulations: steering strategic decisions at london underground: evaluating management options with system dynamics.
  Donna D. Mayo and William J. Dalton and Martin J. Callaghan Winter Simulation Conference, page 1578-1584. ACM, (2003)
  to dblp by dblp on Feb 10, 2006, 12:00 AM
  URL | BibTeX | spam 
• End-User Programming in Pervasive Computing Environments.
  Jeannette Shiaw-Yuan Chin and Victor Callaghan and Graham Clarke and Hani Hagras and Martin Colley PSC, page 187-192. CSREA Press, (2005)
  to dblp by dblp on Jan 31, 2006, 12:00 AM
  URL | BibTeX | spam 
• A fuzzy embedded agent-based approach for realizing ambient intelligence in intelligent inhabited environments.
  Faiyaz Doctor and Hani Hagras and Victor Callaghan IEEE Transactions on Systems, Man, and Cybernetics, Part A35(1):55-65(2005)
  to dblp by dblp on Jan 23, 2006, 12:00 AM
  URL | BibTeX | spam 
• Intelligent embedded agents.
  Hani Hagras and Victor Callaghan and Martin Colley Inf. Sci.171(4):289-292(2005)
  to dblp by dblp on Jan 10, 2006, 12:00 AM
  URL | BibTeX | spam 
• A type-2 fuzzy embedded agent to realise ambient intelligence in ubiquitous computing environments.
  Faiyaz Doctor and Hani Hagras and Victor Callaghan Inf. Sci.171(4):309-334(2005)
  to dblp by dblp on Jan 10, 2006, 12:00 AM
  URL | BibTeX | spam 
• A Multi-dimensional Model for Task Representation and Allocation in Intelligent Environments.
  Victor Zamudio and Victor Callaghan and Jeannette Shiaw-Yuan Chin EUC Workshops, volume 3823 of Lecture Notes in Computer Science, page 345-354. Springer, (2005)
  to dblp by dblp on Dec 2, 2005, 12:00 AM
  URL | BibTeX | spam 
• Cost effectiveness issues in remote experimentation.
  Michael Callaghan and Jim Harkin and T. Martin McGinnity and Liam P. Maguire SMC 5, page 4700-4704. IEEE, (2004)
  to dblp by dblp on Nov 9, 2005, 12:00 AM
  URL | BibTeX | spam 
• Third order loose coupled hybrid intelligent system for machine vision applications.
  Michael J. Callaghan and T. Martin McGinnity and L. J. McDaid SMC 4, page 3680-3685. IEEE, (2004)
  to dblp by dblp on Nov 9, 2005, 12:00 AM
  URL | BibTeX | spam 
• Towards developing micro-scale robots for inaccessible fluidic environments.
  Martin Colley and Gustavo de Souza and Hani Hagras and Anthony Pounds-Cornish and Graham Clarke and Victor Callaghan SMC 6, page 5279-5284. IEEE, (2004)
  to dblp by dblp on Nov 9, 2005, 12:00 AM
  URL | BibTeX | spam 
• A connectionist embedded agent approach for abnormal behaviour detection in intelligent health care environments.
  Fernando Rivera-Illingworth and Victor Callaghan and Hani Hagras SMC 4, page 3565-3570. IEEE, (2004)
  to dblp by dblp on Nov 9, 2005, 12:00 AM
  URL | BibTeX | spam 
• An evolutionary algorithm for the off-line data driven generation of fuzzy controllers for intelligent buildings.
  Andrés Marín López and Luis Sánchez Fernández and Faiyaz Doctor and Hani Hagras and Victor Callaghan SMC 1, page 42-47. IEEE, (2004)
  to dblp by dblp on Nov 9, 2005, 12:00 AM
  URL | BibTeX | spam 
• On the Behavior of a Family of Meta-Fibonacci Sequences.
  Joseph Callaghan and John J. Chew III and Stephen M. Tanny SIAM J. Discrete Math.18(4):794-824(2005)
  to dblp by dblp on Jul 25, 2005, 12:00 AM
  URL | BibTeX | spam 
• Developing an Outdoor Fuzzy Logic Controlled Agricultural Vehicle for Crop Following and Harvesting.
  Hani Hagras and Victor Callaghan and Martin Colley and Malcolm Carr-West IIA/SOCO, ICSC Academic Press, Rochester, NY, USA, (1999)
  to dblp by dblp on Feb 14, 2005, 12:00 AM
  URL | BibTeX | spam 
• Distributed Architecture for Adaptive Intelligent Environments.
  Michael Callaghan and M. El-Gueddari and Jim Harkin and T. Martin McGinnity and Liam P. Maguire Web Intelligence, page 728-731. IEEE Computer Society, (2004)
  to dblp by dblp on Dec 16, 2004, 12:00 AM
  URL | BibTeX | spam 
• Intelligent Remote Experimentation.
  Michael Callaghan and M. El-Gueddari and Jim Harkin and T. Martin McGinnity and Liam P. Maguire Web Intelligence, page 773-774. IEEE Computer Society, (2004)
  to dblp by dblp on Dec 16, 2004, 12:00 AM
  URL | BibTeX | spam 
• Real-time detection of emotional changes for inhabited environments.
  Enrique Leon and Graham Clarke and Victor Callaghan and Francisco Sepulveda Computers & Graphics28(5):635-642(2004)
  to dblp by dblp on Nov 30, 2004, 12:00 AM
  URL | BibTeX | spam 
• Creating an Ambient-Intelligence Environment Using Embedded Agents.
  Hani Hagras and Victor Callaghan and Martin Colley and Graham Clarke and Anthony Pounds-Cornish and Hakan Duman IEEE Intelligent Systems19(6):12-20(2004)
  to dblp by dblp on Nov 17, 2004, 12:00 AM
  URL | BibTeX | spam 
• The Transition of Context-Free Textual Languages into a Visual Programming Notation via Graph Techniques and a Metal Tool.
  Frank Müller and Michael Callaghan and Paul Luker COMPSAC, page 138-147. IEEE Computer Society, (1998)
  to dblp by dblp on Sep 17, 2004, 12:00 AM
  URL | BibTeX | spam 
• Tying models of learning to design of collaborative learning software tools.
  Dimitri Popolov and Michael Callaghan and Paul Luker J. Comp. Assisted Learning18(1):46-47(2002)
  to dblp by dblp on Aug 25, 2004, 12:00 AM
  URL | BibTeX | spam 
• Embedded-Internet Devices: A Means of Realising th Pervasive Computing Vision.
  Jeannette Shiaw-Yuan Chin and Victor Callaghan ICWI, page 869-872. IADIS, (2003)
  to dblp by dblp on Mar 18, 2004, 12:00 AM
  URL | BibTeX | spam 
• The Paradyn Parallel Performance Measurement Tool.
  Barton P. Miller and Mark D. Callaghan and Jonathan M. Cargille and Jeffrey K. Hollingsworth and R. Bruce Irvin and Karen L. Karavanic and Krishna Kunchithapadam and Tia Newhall IEEE Computer28(11):37-46(1995)
  to dblp by dblp on Feb 19, 2004, 12:00 AM
  URL | BibTeX | spam 
• Adaptive Intelligent Environment for Remote Experimentation.
  Michael Callaghan and Jim Harkin and T. Martin McGinnity and Liam P. Maguire Web Intelligence, page 680-683. IEEE Computer Society, (2003)
  to dblp by dblp on Feb 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• An Implementation of LF with Coercive Subtyping & Universes.
  Paul Callaghan and Zhaohui Luo J. Autom. Reasoning27(1):3-27(2001)
  to dblp by dblp on Feb 4, 2004, 12:00 AM
  URL | BibTeX | spam 
• Learning and adaptation of an intelligent mobile robot navigator operating in unstructured environment based on a novel online Fuzzy-Genetic system.
  Hani Hagras and Victor Callaghan and Martin Colley Fuzzy Sets and Systems141(1):107-160(2004)
  to dblp by dblp on Jan 13, 2004, 12:00 AM
  URL | BibTeX | spam 
• Online Learning and Adaptation of Autonomous Mobile Robots for Sustainable Agriculture.
  Hani Hagras and Martin Colley and Victor Callaghan and Malcolm Carr-West Auton. Robots13(1):37-52(2002)
  to dblp by dblp on Dec 4, 2003, 12:00 AM
  URL | BibTeX | spam 
• A hierarchical fuzzy-genetic multi-agent architecture for intelligent buildings online learning, adaptation and control.
  Hani Hagras and Victor Callaghan and Martin Colley and Graham Clarke Inf. Sci.150(1-2):33-57(2003)
  to dblp by dblp on Nov 24, 2003, 12:00 AM
  URL | BibTeX | spam 
• A Collaborative Environment for Remote Experimentation.
  Michael Callaghan and Jim Harkin and Chris Peters and T. Martin McGinnity and Liam P. Maguire MSE, page 59-. IEEE Computer Society, (2003)
  to dblp by dblp on Nov 19, 2003, 12:00 AM
  URL | BibTeX | spam 
• On-chip and Off-chip Real-Time Debugging for Remotely-Accessed Embedded Programmable Systems.
  Jim Harkin and Michael Callaghan and Chris Peters and T. Martin McGinnity and Liam P. Maguire FPL, volume 2778 of Lecture Notes in Computer Science, page 1079-1082. Springer, (2003)
  to dblp by dblp on Nov 6, 2003, 12:00 AM
  URL | BibTeX | spam 
• Online Learning of the Sensors Fuzzy Membership Functions in Autonomous Mobile Robots.
  Hani Hagras and Victor Callaghan and Martin Colley ICRA, page 3233-3238. IEEE, (2000)
  to dblp by dblp on Nov 5, 2003, 12:00 AM
  URL | BibTeX | spam 
• A Fuzzy Genetic Based Embedded-Agent Approach to Learning & Control in Agricultural Autonomous Vehicles.
  Hani Hagras and Victor Callaghan and Martin Colley and Malcolm Carr-West ICRA, page 1005-1010. (1999)
  to dblp by dblp on May 2, 2003, 12:00 AM
  URL | BibTeX | spam 
• Implementation Techniques for Inductive Types in Plastic.
  Paul Callaghan and Zhaohui Luo TYPES, volume 1956 of Lecture Notes in Computer Science, page 94-113. Springer, (1999)
  to dblp by dblp on Jun 13, 2002, 12:00 AM
  URL | BibTeX | spam 
• The Paragon Performance Monitoring Environment.
  Bernhard Ries and R. Anderson and W. Auld and D. Breazeal and K. Callaghan and E. Richards and W. Smith ACPC, volume 734 of Lecture Notes in Computer Science, page 233-248. Springer, (1993)
  to dblp by dblp and 1 other person on Feb 19, 2002, 12:00 AM
  URL | BibTeX | spam 
• Towards Limit Computable Mathematics.
  Susumu Hayashi and Masahiro Nakata TYPES, volume 2277 of Lecture Notes in Computer Science, page 125-144. Springer, (2000)
  to dblp by dblp on Feb 15, 2002, 12:00 AM
  URL | BibTeX | spam 
• Formalizing the Halting Problem in a Constructive Type Theory.
  Kristofer Johannisson TYPES, volume 2277 of Lecture Notes in Computer Science, page 145-159. Springer, (2000)
  to dblp by dblp on Feb 15, 2002, 12:00 AM
  URL | BibTeX | spam 
• Collection Principles in Dependent Type Theory.
  Peter Aczel and Nicola Gambino TYPES, volume 2277 of Lecture Notes in Computer Science, page 1-23. Springer, (2000)
  to dblp by dblp on Feb 15, 2002, 12:00 AM
  URL | BibTeX | spam 
• An Inductive Version of Nash-Williams' Minimal-Bad-Sequence Argument for Higman's Lemma.
  Monika Seisenberger TYPES, volume 2277 of Lecture Notes in Computer Science, page 233-242. Springer, (2000)
  to dblp by dblp on Feb 15, 2002, 12:00 AM
  URL | BibTeX | spam 
• Generalization in Type Theory Based Proof Assistants.
  Olivier Pons TYPES, volume 2277 of Lecture Notes in Computer Science, page 217-232. Springer, (2000)
  to dblp by dblp on Feb 15, 2002, 12:00 AM
  URL | BibTeX | spam 
• On the Logical Content of Computational Type Theory: A Solution to Curry's Problem.
  Matt Fairtlough and Michael Mendler TYPES, volume 2277 of Lecture Notes in Computer Science, page 63-78. Springer, (2000)
  to dblp by dblp on Feb 15, 2002, 12:00 AM
  URL | BibTeX | spam 
• Executing Higher Order Logic.
  Stefan Berghofer and Tobias Nipkow TYPES, volume 2277 of Lecture Notes in Computer Science, page 24-40. Springer, (2000)
  to dblp by dblp on Feb 15, 2002, 12:00 AM
  URL | BibTeX | spam 
• Elimination with a Motive.
  Conor McBride TYPES, volume 2277 of Lecture Notes in Computer Science, page 197-216. Springer, (2000)
  to dblp by dblp on Feb 15, 2002, 12:00 AM
  URL | BibTeX | spam 
• A Tour with Constructive Real Numbers.
  Alberto Ciaffaglione and Pietro Di Gianantonio TYPES, volume 2277 of Lecture Notes in Computer Science, page 41-52. Springer, (2000)
  to dblp by dblp on Feb 15, 2002, 12:00 AM
  URL | BibTeX | spam 
• A Kripke-Style Model for the Admissibility of Structural Rules.
  Healfdene Goguen TYPES, volume 2277 of Lecture Notes in Computer Science, page 112-124. Springer, (2000)
  to dblp by dblp on Feb 15, 2002, 12:00 AM
  URL | BibTeX | spam 
• Constructive Reals in Coq: Axioms and Categoricity.
  Herman Geuvers and Milad Niqui TYPES, volume 2277 of Lecture Notes in Computer Science, page 79-95. Springer, (2000)
  to dblp by dblp on Feb 15, 2002, 12:00 AM
  URL | BibTeX | spam 
• Changing Data Structures in Type Theory: A Study of Natural Numbers.
  Nicolas Magaud and Yves Bertot TYPES, volume 2277 of Lecture Notes in Computer Science, page 181-196. Springer, (2000)
  to dblp by dblp on Feb 15, 2002, 12:00 AM
  URL | BibTeX | spam 
• On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory.
  Giuseppe Longo TYPES, volume 2277 of Lecture Notes in Computer Science, page 160-180. Springer, (2000)
  to dblp by dblp on Feb 15, 2002, 12:00 AM
  URL | BibTeX | spam 
• A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals.
  Herman Geuvers and Freek Wiedijk and Jan Zwanenburg TYPES, volume 2277 of Lecture Notes in Computer Science, page 96-111. Springer, (2000)
  to dblp by dblp on Feb 15, 2002, 12:00 AM
  URL | BibTeX | spam 
• An Implementation of Type: Type.
  Thierry Coquand and Makoto Takeyama TYPES, volume 2277 of Lecture Notes in Computer Science, page 53-62. Springer, (2000)
  to dblp by dblp on Feb 15, 2002, 12:00 AM
  URL | BibTeX | spam