Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Margaret M. West"'
Autor:
Koffi Djaman, Curtis Owen, Margaret M. West, Samuel Allen, Komlan Koudahe, Murali Darapuneni, Michael O’Neill
Publikováno v:
Agriculture, Vol 10, Iss 7, p 290 (2020)
The highly variable weather under changing climate conditions affects the establishment and the cutoff of crop growing season and exposes crops to failure if producers choose non-adapted relative maturity that matches the characteristics of the crop
Externí odkaz:
https://doaj.org/article/1386a394535f4bd6b731c0ef012cb001
Publikováno v:
The Knowledge Engineering Review. 28:195-213
The problem of formulating knowledge bases containing action schema is a central concern in knowledge engineering for artificial intelligence (AI) planning. This paper describes Learning Object-Centred Models (LOCM), a system that carries out the aut
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4530e30db7f91306708e7787ed4dd804
https://doi.org/10.1017/s0269888912000422
https://doi.org/10.1017/s0269888912000422
Autor:
Margaret M. West, Thomas Leo McCluskey
Publikováno v:
Automated Software Engineering. 8:195-218
The specification and management of requirementsiswidelyconsidered to be one of the most important yetmostproblematicactivities in software engineering. Insomeapplications, such asin safety critical areas orknowledge-basedsystems, theconstruction of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6820de95a8723c9e5ee9755af134e01c
https://doi.org/10.1023/a:1008793523863
https://doi.org/10.1023/a:1008793523863
Publikováno v:
Communications in Computer and Information Science ISBN: 9783642118180
ICAART (Revised Selected Papers)
ICAART (Revised Selected Papers)
AI planning engines require detailed specifications of dynamic knowledge of the domain in which they are to operate, before they can function. Further, they require domain-specific heuristics before they can function efficiently. The problem of formu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7f324c8927b2c816f940f6c71287fb16
https://doi.org/10.1007/978-3-642-11819-7_11
https://doi.org/10.1007/978-3-642-11819-7_11
Autor:
Margaret M. West
Publikováno v:
Logic Programming ISBN: 9783540746089
ICLP
ICLP
Animation of a formal specification involves its execution and this paper is concerned with Z specifications and their correct animation. Since Z is based on typed set theory the logic programming language Godel [2] was chosen as the execution langua
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::16e0e84123e5b2b7260e2ae5e769aaa7
https://doi.org/10.1007/978-3-540-74610-2_41
https://doi.org/10.1007/978-3-540-74610-2_41
Autor:
Thomas Leo McCluskey, Margaret M. West
Publikováno v:
ASE
We describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on a translator that produces an executable form of the model; blame assignment functions, which
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ccd0bd3832e49801424d0c58ee62496e
https://doi.org/10.1109/ase.1998.732591
https://doi.org/10.1109/ase.1998.732591
The application of a machine learning tool to the validation of an air traffic control domain theory
Autor:
Margaret M. West, Thomas Leo McCluskey
Publikováno v:
ICTAI
In this paper we describe a project (IMPRESS) which utilised a machine learning tool for the validation of an air traffic control domain theory. During the project, novel techniques were devised for the automated revision of general clause form theor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fef428f2b40ab0bc4513fcc39ac42bea
https://doi.org/10.1109/tai.2000.889902
https://doi.org/10.1109/tai.2000.889902
Autor:
Margaret M. West, Thomas Leo McCluskey
In this paper we describe a project (IMPRESS) in which machine learning (ML) tools were created and utilised for the validation of an Air Traffic Control domain theory written in first order logic. During the project, novel techniques were devised fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f76399359c2fcbfbcc437a968bfd63bb
https://eprints.hud.ac.uk/id/eprint/543/1/AccessIJAITy.pdf
https://eprints.hud.ac.uk/id/eprint/543/1/AccessIJAITy.pdf
Autor:
Margaret M. West
Publikováno v:
ZUM '95: The Z Formal Specification Notation ISBN: 9783540602712
ZUM
ZUM
An animation of a formal specification language is seen as a useful aid for validating specifications. This paper describes differences between the type systems of the programming language Godel and the Z notation and the implications this has for de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::adbab5efb5d8a364c8f650ca5c6efc3c
https://doi.org/10.1007/3-540-60271-2_132
https://doi.org/10.1007/3-540-60271-2_132
Autor:
Margaret M West
Publikováno v:
JONA: The Journal of Nursing Administration; Feb2006, Vol. 36 Issue 2, p63-66, 4p