57 Hits in 6.7 sec

Page 127 of Journal of Research and Practice in Information Technology Vol. 9, Issue 3 [page]

1977 Journal of Research and Practice in Information Technology  
Summary of MYCROFT: a system for understanding simple picture programs. Art. Intell., 6, 249-288. GRIGNETTI, M., HAUSMANN, C. and GOULD, L. (1975).  ...  Collins (Eds.), Representation and Understanding. New York: Academic Press. GOLDBERG, A. (1974). Design of a computer tutor for elementary mathematical logic. Proc. IFIP Congress 4.  ... 

A Short Historical Survey of Functional Hardware Languages

Gang Chen
2012 ISRN Electronics  
Functional programming languages offer a high degree of abstractions and clean semantics, which are desirable for hardware descriptions.  ...  This short historical survey is about functional languages specifically created for hardware design and verification.  ...  Acknowledgment The author grateful to his wife Ping Hu for her support and patience. Thanks are due to Mary Sheeran for his insightful remarks.  ... 
doi:10.5402/2012/271836 fatcat:n2iml6tnnzhzbcjyuslsmdpy64

Proceedings of the Third Workshop on Formal Integrated Development Environment

Kim G. Larsen
2017 Electronic Proceedings in Theoretical Computer Science  
Future Work We are currently working on connecting the calculated summaries to a parameterised unit testing framework.  ...  We would like to put our preliminary results of our proposed approach together and evaluate (1) whether DSE is applicable to SPLs in order to e ciently derive the behavioural changes among di↵erent products  ...  Abstract summaries over-approximate the behavior of a feature and the symbolic summary characterises the individual program execution paths of a given feature for all possible inputs.  ... 
doi:10.4204/eptcs.240.0.1 fatcat:imfjolcxmrfm7kqiz523rbyj5i

'Alexa, Adv(ert)ise us!'

Michael Haas, Anna Keller
2021 MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung  
Dealing with the specific characteristics of smart speakers requires a high degree of (child) user competence.  ...  Firstly, we will address a definition of smart speakers and digital speech assistants, and then examine their use by means of usage data.  ...  This all happens without a picture, purely via listening.  ... 
doi:10.21240/mpaed/43/2021.07.23.x fatcat:apxiqibp2fcmjg5haq3fz7slpi

A selected descriptor-indexed bibliography to the literature on belief revision

Jon Doyle, Philip London
1980 ACM SIGART Bulletin  
P., "Summary of MYCROFT: a system for understanding simple picture programs," Artificial Intelligence 8, 1 975, 249-288. (7.6>, (7.8>. (Good 52] Good, 1.  ...  For example, the program might have a variable LOCATION-OF-BLOCK which it would alter from "ROOM-A" to "ROOM-B".  ... 
doi:10.1145/1056441.1056442 fatcat:2b2w2zeuvzfs7axvx24xa7jzea

Programming in Three Dimensions

Marc A. Najork
1996 Journal of Visual Languages and Computing  
The third dimension provides for a richer syntax, makes the language more expressive, and prepares the ground for novel, virtual-reality-based programming environments.  ...  Cube uses the data ow metaphor as an intuitive w a y to describe logic programs. The semantics of the language is based on a higher-order form of Horn logic.  ...  Eric Golin, who introduced me to visual programming. I am deeply grateful to them for their advice and their friendship.  ... 
doi:10.1006/jvlc.1996.0012 fatcat:tztqg5hxsfcdrmq2bpci4s7yle


2018 Theoretical & Applied Science  
The issue of information system security will be a challenge for the industry with open access to information systems, otherwise focus will hamper the business process of the industry.  ...  However, in its development, stakeholders tend to focus on infrastructure and information systems, while the security of information systems is still a comfort zone for industries in the transformation  ...  For medium and small industries some have difficulty and lack of understanding of the security of information systems, stakeholders tend to focus on infrastructure and information systems as digital transformation  ... 
doi:10.15863/tas.2018.09.65.40 fatcat:fryu56jkf5fvdfzamzfxzjxhb4

Page 305 of IBM Systems Journal Vol. 28, Issue 2 [page]

IBM Systems Journal  
Goldstein, “Summary of MYCROFT: A system for understanding simple picture programs,” Artificial Intelligence 6, No. 1, 249-288 (1975). . S. M. Katz and Z.  ...  Flaherty, “Programming process measurement for the System/370,” JBM Systems Journal 24, No. 2, 172-173 (1985). . Paul B.  ... 

The Task and Workslip Scheme for Personal Agent Systems

Tyson Kendon, Jorg Denzinger
2020 2020 IEEE International Conference on Humanized Computing and Communication with Artificial Intelligence (HCCAI)  
The Task and Workslip Scheme for Personal Agent Systems is a collection of concepts enabling the intelligent communication of small agents, and a set of philosophical guidelines to aid in the design of  ...  The scheme provides a simple system to create personal assistant system, often without needing to write new software, and simplifies Agent development.  ...  Acknowledgements 1 the term principal is applied to keep the terminology consistent with the remainder of this document.  ... 
doi:10.1109/hccai49649.2020.00012 fatcat:3b2jogwtanbkba6xhwhitldqly


Gogul Balakrishnan, Thomas Reps
2010 ACM Transactions on Programming Languages and Systems  
program understanding and automated bug hunting.  ...  The ideas described in the article are incorporated in a tool for analyzing Intel x86 At the time the research reported in the article was carried out, G.  ...  Lim, A. Lal, N. Kidd, and D. Gopan-and at GrammaTech, Inc.-T. Teitelbaum, S. Yong, R. Gruian, D. Melski, and C.-H. Chen-for their many contributions to the project. We are also grateful to M.  ... 
doi:10.1145/1749608.1749612 fatcat:zsmcrv7hlvb5lbycleoownbm6e

Automated Fixing of Programs with Contracts

Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
2014 IEEE Transactions on Software Engineering  
The only required user input to the AutoFix supporting tool is then a faulty program annotated with contracts; the tool produces a collection of validated fixes for the fault ranked according to an estimate  ...  Using contracts enhances the precision of dynamic analysis techniques for fault detection and localization, and for validating fixes.  ...  We also gratefully acknowledge the support of the Swiss National Supercomputing Centre (CSCS) for the experiments (Project s264).  ... 
doi:10.1109/tse.2014.2312918 fatcat:z3zfwgg6ffbe7ohf2hxxvri5se

Unifying graded and parameterised monads [article]

Dominic Orchard, Philip Wadler, Harley Eades III
2020 arXiv   pre-print
This allows certain compositions of effects to be ruled out (in the style of a program logic) as well as an abstract description of effects (in the style of an effect system).  ...  Most notably, graded monads, indexed by a monoid, model effect systems and parameterised monads, indexed by pairs of pre- and post-conditions, model program logics.  ...  model for systems which combine both quantitative reasoning with program logics in a single structure.  ... 
arXiv:2001.10274v1 fatcat:3ts6khvqgbgvvbkc6rkydt6oce

Fifty Years of Prolog and Beyond [article]

Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
2022 arXiv   pre-print
Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed.  ...  Often, the features added by different systems were motivated by the interdisciplinary needs of programmers and implementors, yielding systems that, while sharing the "classic" core language, and, in particular  ...  The authors are particularly grateful for the effort made by the group of people (more than 120 individuals) that drafted the ISO-Prolog Standard and piloted its later evolution, and specially to Jonathan  ... 
arXiv:2201.10816v3 fatcat:grixngoazrdfjosno4zvnimsnq

Scalable Open-Source Architecture for Real-Time Monitoring of Adaptive Wiring Panels

Daniel Llamocca, Victor Murray, Yuebing Jiang, Marios Pattichis, James Lyke, Keith Avery
2014 Journal of Aerospace Information Systems  
We recently introduced the first prototype of an Adaptive Wiring Panel (AWP) which implemented a reconfigurable switch fabric that allows dynamic routing of analog, digital, and power signals for space  ...  In this paper, we consider a complete redesign and re-implementation of the AWP system to address issues associated with scalability, reliability and real-time monitoring of the switching fabric.  ...  For the Command-line Interface , we provide a summary of the code structure and main functions in the Appendix.  ... 
doi:10.2514/1.i010127 fatcat:6iaur5xhh5fgnl6jlgv7uzxeva

Functional Programs as Executable Specifications [and Discussion]

D. A. Turner, J. Fairbairn, D. Park, P. Wadler, B. A. Wichmann, M. H. Rogers
1984 Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences  
Secondly, the Milner/Mycroft type system forces us to inject some superfluous constructors in the data structures used to represent programs for the transformations in the chapters 4 and 5.  ...  Using arrows for these pointers would make the picture unreadable. graph store A,B,C-stack program store descriptor store ю channel Г( f |Cons|_rnf| üM.  ...  The translation is explained and illustrated with a number of examples in chapter 5. The Clean program is represented by the AST defined in section 5.3.  ... 
doi:10.1098/rsta.1984.0065 fatcat:s2jq4lnauvfdzd5alqp2stsxsm
« Previous Showing results 1 — 15 out of 57 results