Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Jamie Stark"'
Autor:
James Truslow, Angela Spillane, Huiming Lin, Katherine Cyr, Adeeti Ullal, Edith Arnold, Ron Huang, Laura Rhodes, Jennifer Block, Jamie Stark, James Kretlow, Alexis L. Beatty, Andreas Werdich, Deepali Bankar, Matt Bianchi, Ian Shapiro, Jaime Villalpando, Sharon Ravindran, Irida Mance, Adam Phillips, John Earl, Rahul C. Deo, Sumbul A. Desai, Calum A. MacRae
Publikováno v:
npj Digital Medicine, Vol 7, Iss 1, Pp 1-11 (2024)
Abstract Physical activity or structured exercise is beneficial in a wide range of circumstances. Nevertheless, individual-level data on differential responses to various types of activity are not yet sufficient in scale, duration or level of annotat
Externí odkaz:
https://doaj.org/article/c192414062ae4c2c91f292e042f17665
Autor:
Noujoud Ahbali, Xinyuan Liu, Albert Nanda, Jamie Stark, Ashit Talukder, Rupinder Paul Khandpur
Publikováno v:
Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: Industry Track.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::42e963a420c73b58bd9098883ee86c68
https://doi.org/10.18653/v1/2022.naacl-industry.40
https://doi.org/10.18653/v1/2022.naacl-industry.40
Autor:
Andrew Ireland, Jamie Stark
Publikováno v:
Automated Software Engineering. 13:65-105
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate these methods and heuristics as a basis for mechanizing program synthesis.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::100e080ac6a15aa0638d097c2b469de0
https://doi.org/10.1007/s10515-006-5467-3
https://doi.org/10.1007/s10515-006-5467-3
Autor:
Andrew Ireland, Jamie Stark
Publikováno v:
Annals of Mathematics and Artificial Intelligence. 29:65-97
Proof planning extends the tactic-based theorem proving paradigm through the explicit representation of proof strategies. We see three key benefits to the proof planning approach to the development of proof strategies: flexibility, re-usability and s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ed4d374f4022d4ea093812a36286471a
https://doi.org/10.1023/a:1018969728171
https://doi.org/10.1023/a:1018969728171
Autor:
Andrew Ireland, Jamie Stark
Publikováno v:
ASE
An approach to automatic imperative program synthesis is presented which builds upon Gries' (1981) vision of developing a program and its proof hand in hand. To achieve this vision we rely on the proof planning paradigm, which enables the coupling of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b8e13abbab9c7bbd371a17506f303876
https://doi.org/10.1109/ase.1999.802091
https://doi.org/10.1109/ase.1999.802091
Autor:
Juan Pavón, Richard Evans, Francisco Leal, Giovanni Caire, Paulo Chainho, Philippe Massonet, Jamie Stark, Wim Coulier, Jorge Gomez, Francisco J. Garijo, Paul Kearney
Publikováno v:
Agent-Oriented Software Engineering II ISBN: 9783540432821
AOSE
AOSE
This paper presents the MESSAGE/UML agent oriented software engineering methodology and illustrates it on an analysis case study. The methodology covers MAS analysis and design and is intended for use in mainstream software engineering departments. M
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::30bc02bff7ddc10823baa2951ca912ab
https://doi.org/10.1007/3-540-70657-7_8
https://doi.org/10.1007/3-540-70657-7_8
Autor:
Andrew Ireland, Jamie Stark
Publikováno v:
Logic-Based Program Synthesis and Transformation ISBN: 9783540657651
LOPSTR
LOPSTR
We present a framework for automating the discovery of loop invariants based upon failed proof attempts. The discovery of suitable loop invariants represents a bottleneck for automatic verification of imperative programs. Using the proof planning fra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b35ae7725fad2dea0b2f866a7f460529
https://doi.org/10.1007/3-540-48958-4_15
https://doi.org/10.1007/3-540-48958-4_15