M13

Results: 547



#Item
21RDFS(FA): A DL-ised Sub-language of RDFS Jeff Z. Pan and Ian Horrocks Department of Computer Science University of Manchester Oxford Road, Manchester M13 9PL, UK {pan,horrocks}@cs.man.ac.uk

RDFS(FA): A DL-ised Sub-language of RDFS Jeff Z. Pan and Ian Horrocks Department of Computer Science University of Manchester Oxford Road, Manchester M13 9PL, UK {pan,horrocks}@cs.man.ac.uk

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2007-07-26 07:51:51
    22Reasoning with Expressive Description Logics: Theory and Practice Ian Horrocks Department of Computer Science, University of Manchester Oxford Road, Manchester M13 9PL, UK

    Reasoning with Expressive Description Logics: Theory and Practice Ian Horrocks Department of Computer Science, University of Manchester Oxford Road, Manchester M13 9PL, UK

    Add to Reading List

    Source URL: www.cs.man.ac.uk

    Language: English - Date: 2007-07-26 07:51:33
      23CABRef: Cross-Referencing into an Abstracts Database Ann Apps and Ross MacIntyre MIMAS, University of Manchester, Oxford Road, Manchester, M13 9PL, UK. Email: ,

      CABRef: Cross-Referencing into an Abstracts Database Ann Apps and Ross MacIntyre MIMAS, University of Manchester, Oxford Road, Manchester, M13 9PL, UK. Email: ,

      Add to Reading List

      Source URL: epub.mimas.ac.uk

      Language: English - Date: 2001-05-14 11:15:37
        24Reasoning in the SHOQ(Dn ) Description Logic Jeff Z. Pan and Ian Horrocks Information Management Group Department of Computer Science University of Manchester Oxford Road, Manchester M13 9PL, UK

        Reasoning in the SHOQ(Dn ) Description Logic Jeff Z. Pan and Ian Horrocks Information Management Group Department of Computer Science University of Manchester Oxford Road, Manchester M13 9PL, UK

        Add to Reading List

        Source URL: www.cs.man.ac.uk

        Language: English - Date: 2007-07-26 07:51:34
          25An Asynchronous Victim Cache D. Hormdee, J.D. Garside, S.B. Furber Department of Computer Science, The University of Manchester, Oxford Road, Manchester M13 9PL, UK {hormdeed,jdg,sbf}@cs.man.ac.uk

          An Asynchronous Victim Cache D. Hormdee, J.D. Garside, S.B. Furber Department of Computer Science, The University of Manchester, Oxford Road, Manchester M13 9PL, UK {hormdeed,jdg,sbf}@cs.man.ac.uk

          Add to Reading List

          Source URL: apt.cs.manchester.ac.uk

          Language: English - Date: 2014-05-13 09:16:21
            26A Novel Area-Efficient Binary Adder S. B. Furber and J. Liu† Department of Computer Science, The University of Manchester, Oxford Road, Manchester M13 9PL, UK. †now with Intel Corporation, Austin

            A Novel Area-Efficient Binary Adder S. B. Furber and J. Liu† Department of Computer Science, The University of Manchester, Oxford Road, Manchester M13 9PL, UK. †now with Intel Corporation, Austin

            Add to Reading List

            Source URL: apt.cs.manchester.ac.uk

            Language: English - Date: 2014-05-13 09:16:28
              27A Delay Efficient Robust Self-Timed Full Adder P. Balasubramanian and D.A. Edwards School of Computer Science The University of Manchester Oxford Road, Manchester M13 9PL, United Kingdom. E-mail ID: {padmanab, doug}@cs.m

              A Delay Efficient Robust Self-Timed Full Adder P. Balasubramanian and D.A. Edwards School of Computer Science The University of Manchester Oxford Road, Manchester M13 9PL, United Kingdom. E-mail ID: {padmanab, doug}@cs.m

              Add to Reading List

              Source URL: apt.cs.manchester.ac.uk

              Language: English - Date: 2014-05-13 09:16:33
                28AMULET3 Revealed J. D. Garside, S. B. Furber and S-H Chung Department of Computer Science, The University of Manchester, Oxford Road, Manchester M13 9PL, UK. {jgarside, sfurber, chungsh}@cs.man.ac.uk Abstract

                AMULET3 Revealed J. D. Garside, S. B. Furber and S-H Chung Department of Computer Science, The University of Manchester, Oxford Road, Manchester M13 9PL, UK. {jgarside, sfurber, chungsh}@cs.man.ac.uk Abstract

                Add to Reading List

                Source URL: apt.cs.manchester.ac.uk

                Language: English - Date: 2014-05-13 09:16:41
                  29AMULET2e: An Asynchronous Embedded Controller S. B. Furber, J. D. Garside, S. Temple, J. Liu, Department of Computer Science, The University of Manchester, Oxford Road, Manchester M13 9PL, UK. P. Day, N. C. Paver. Cogenc

                  AMULET2e: An Asynchronous Embedded Controller S. B. Furber, J. D. Garside, S. Temple, J. Liu, Department of Computer Science, The University of Manchester, Oxford Road, Manchester M13 9PL, UK. P. Day, N. C. Paver. Cogenc

                  Add to Reading List

                  Source URL: apt.cs.manchester.ac.uk

                  Language: English - Date: 2014-05-13 09:16:42
                    30AMULET3: a 100 MIPS Asynchronous Embedded Processor S. B. Furber, D. A. Edwards and J. D. Garside, Department of Computer Science, The University of Manchestel; Oxford Road, Manchester M13 9PL, UK. sfurbel; dedwards, jga

                    AMULET3: a 100 MIPS Asynchronous Embedded Processor S. B. Furber, D. A. Edwards and J. D. Garside, Department of Computer Science, The University of Manchestel; Oxford Road, Manchester M13 9PL, UK. sfurbel; dedwards, jga

                    Add to Reading List

                    Source URL: apt.cs.manchester.ac.uk

                    Language: English - Date: 2014-05-13 09:16:31