Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Kerry Trentelman"'
Autor:
Matt Duckham, Jelena Gabela, Allison Kealy, Mustafizur Khan, Jonathan Legg, Bill Moran, Shakila Khan Rumi, Flora D. Salim, Shaila Sharmeen, Yaguang Tao, Kerry Trentelman, Maria Vasardani
Publikováno v:
Transactions in GIS. 26:2455-2479
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::318b11fc1769d2969f510aa068ca4a42
https://doi.org/10.1111/tgis.12939
https://doi.org/10.1111/tgis.12939
Publikováno v:
CogSIMA
Illegal fishing poses an existential threat to global fisheries and is responsible for causing significant damage and depletion to fish stocks, food security and national economies. We describe a method through our agent-based high-level information
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5e6c771cf669abefde69352158c203d2
https://doi.org/10.1109/cogsima.2019.8724169
https://doi.org/10.1109/cogsima.2019.8724169
Autor:
Kerry Trentelman, Adam Saulwick
Publikováno v:
Knowledge-Based Systems. 71:52-60
Our high-level goal is to answer questions concerned with social influence such as: “Who influences whom?”, “Who can be influenced?”, “Why is an individual attracted to a particular group?”, and “Who is the most influential individual i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f63e5d59b22181b5035ad50aaa669b53
https://doi.org/10.1016/j.knosys.2014.06.022
https://doi.org/10.1016/j.knosys.2014.06.022
Autor:
Dale Lambert, Kerry Trentelman
Publikováno v:
Fusion Methodologies in Crisis Management ISBN: 9783319225265
A commander’s situation awareness is critical to his or her decision making in a crisis but the ability for a commander to form that situation awareness is often overestimated. Automated data fusion offers a means of supporting a commander’s situ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8ff5f9b61155b1bb58a9ed6a117cbb8d
https://doi.org/10.1007/978-3-319-22527-2_3
https://doi.org/10.1007/978-3-319-22527-2_3
Autor:
Bernhard Beckert, Kerry Trentelman
Publikováno v:
Logic for Programming, Artificial Intelligence, and Reasoning ISBN: 9783540305538
LPAR
LPAR
Within the setting of object-oriented program specification and verification, pointers and object references can be considered as relations between the elements of a data structure. When we specify properties of these data structures, we often descri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f3c8db25e4a8e18ca1f4e6cf14bcc6b4
https://doi.org/10.1007/11591191_12
https://doi.org/10.1007/11591191_12
Autor:
Kerry Trentelman, Marieke Huisman
Publikováno v:
Algebraic Methodology and Software Technology ISBN: 9783540441441
AMAST
AMAST
This paper proposes an extension oft he Java Modeling Language (JML) with temporal specifications. The extension is inspired by the patterns and specification language used within the Bandera project, and is especially tailored to specify properties
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ae9bc5d51aa413d46d69b57cd8e0d4b1
https://doi.org/10.1007/3-540-45719-4_23
https://doi.org/10.1007/3-540-45719-4_23