211 research outputs found
Abstract State Machines 1988-1998: Commented ASM Bibliography
An annotated bibliography of papers which deal with or use Abstract State
Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm
The Horse\u27s Ass: A Survey of Comediology
What is comedy? Can someone learn to be funny? Are there rules or guidelines for the production of laughter, the universal language? This paper, which outlines an investigation of successful comedians and the production of a short film, determines to aggregate as many of the relevant prerequisites of inducing giggles as possible, especially as they relate to the audiovisual medium of cinema
The Horse\u27s Ass: A Survey of Comediology
What is comedy? Can someone learn to be funny? Are there rules or guidelines for the production of laughter, the universal language? This paper, which outlines an investigation of successful comedians and the production of a short film, determines to aggregate as many of the relevant prerequisites of inducing giggles as possible, especially as they relate to the audiovisual medium of cinema
Artificial intelligence and digital watermarking will transform copyright arbitration and dispute resolution for 3D printing: an empirical analysis
Artificial intelligence (AI) has been the subject of much discussion in terms of its applicability to law. This paper focuses on the use of AI in copyright arbitration and dispute resolution for three-dimensional (3D) printing (3DP). Its main argument is that laws relating to digital watermarking will push the utilisation of AI in such alternative dispute resolution (ADR) methods, be it arbitration or mediation, in a particular direction, i.e., one that favours more complex watermarking, and the use of AI in automatically resolving disputes, through ADR methods, i.e. arbitration and/or mediation. In order to make this argument, the article is structured as follows: first, it discusses the existing laws relating to digital watermarks, making the point that the more complex the watermark placed in content, the more likely it is to obtain protection. Next, it outlines the authors’ empirical work to apply an existing AI system to copyright case law, to see how an AI system ‒ which may fall under the purview of such protection ‒ can read and understand cases and produce outcomes in disputes concerning 3DP. The conclusion of this research was that complex watermarks will lead to faster and more accurate resolutions. Following that, it considers the existing legal regime for dispute resolution, through ADR methods (i.e. arbitration and/or mediation), and makes the contention that AI systems can fit within the existing legal framework. However, the conclusion argues that certain issues merit closer attention. For example, there should be more explicit consideration in law of how watermarking can influence the direction of AI dispute resolution, through ADR methods, and that the role of the judge in such AI dispute resolution methods needs to be considered further
1st doctoral symposium of the international conference on software language engineering (SLE) : collected research abstracts, October 11, 2010, Eindhoven, The Netherlands
The first Doctoral Symposium to be organised by the series of International Conferences on Software Language Engineering (SLE) will be held on October 11, 2010 in Eindhoven, as part of the 3rd instance of SLE. This conference series aims to integrate the different sub-communities of the software-language engineering community to foster cross-fertilisation and strengthen research overall. The Doctoral Symposium at SLE 2010 aims to contribute towards these goals by providing a forum for both early and late-stage Ph.D. students to present their research and get detailed feedback and advice from researchers both in and out of their particular research area. Consequently, the main objectives of this event are: – to give Ph.D. students an opportunity to write about and present their research; – to provide Ph.D. students with constructive feedback from their peers and from established researchers in their own and in different SLE sub-communities; – to build bridges for potential research collaboration; and – to foster integrated thinking about SLE challenges across sub-communities. All Ph.D. students participating in the Doctoral Symposium submitted an extended abstract describing their doctoral research. Based on a good set of submisssions we were able to accept 13 submissions for participation in the Doctoral Symposium. These proceedings present final revised versions of these accepted research abstracts. We are particularly happy to note that submissions to the Doctoral Symposium covered a wide range of SLE topics drawn from all SLE sub-communities. In selecting submissions for the Doctoral Symposium, we were supported by the members of the Doctoral-Symposium Selection Committee (SC), representing senior researchers from all areas of the SLE community.We would like to thank them for their substantial effort, without which this Doctoral Symposium would not have been possible. Throughout, they have provided reviews that go beyond the normal format of a review being extra careful in pointing out potential areas of improvement of the research or its presentation. Hopefully, these reviews themselves will already contribute substantially towards the goals of the symposium and help students improve and advance their work. Furthermore, all submitting students were also asked to provide two reviews for other submissions. The members of the SC went out of their way to comment on the quality of these reviews helping students improve their reviewing skills
1st doctoral symposium of the international conference on software language engineering (SLE) : collected research abstracts, October 11, 2010, Eindhoven, The Netherlands
The first Doctoral Symposium to be organised by the series of International Conferences on Software Language Engineering (SLE) will be held on October 11, 2010 in Eindhoven, as part of the 3rd instance of SLE. This conference series aims to integrate the different sub-communities of the software-language engineering community to foster cross-fertilisation and strengthen research overall. The Doctoral Symposium at SLE 2010 aims to contribute towards these goals by providing a forum for both early and late-stage Ph.D. students to present their research and get detailed feedback and advice from researchers both in and out of their particular research area. Consequently, the main objectives of this event are: – to give Ph.D. students an opportunity to write about and present their research; – to provide Ph.D. students with constructive feedback from their peers and from established researchers in their own and in different SLE sub-communities; – to build bridges for potential research collaboration; and – to foster integrated thinking about SLE challenges across sub-communities. All Ph.D. students participating in the Doctoral Symposium submitted an extended abstract describing their doctoral research. Based on a good set of submisssions we were able to accept 13 submissions for participation in the Doctoral Symposium. These proceedings present final revised versions of these accepted research abstracts. We are particularly happy to note that submissions to the Doctoral Symposium covered a wide range of SLE topics drawn from all SLE sub-communities. In selecting submissions for the Doctoral Symposium, we were supported by the members of the Doctoral-Symposium Selection Committee (SC), representing senior researchers from all areas of the SLE community.We would like to thank them for their substantial effort, without which this Doctoral Symposium would not have been possible. Throughout, they have provided reviews that go beyond the normal format of a review being extra careful in pointing out potential areas of improvement of the research or its presentation. Hopefully, these reviews themselves will already contribute substantially towards the goals of the symposium and help students improve and advance their work. Furthermore, all submitting students were also asked to provide two reviews for other submissions. The members of the SC went out of their way to comment on the quality of these reviews helping students improve their reviewing skills
Facebookland: the bizarro-linguistic world
This article investigates the dynamics of contemporary Romanian, focusing on various linguistic structures typically used on social network sites, through which the specific content and interaction strategies are being deployed in virtual communities. The article is part of a larger project devoted to the study of linguistic impoverishment (affecting both the vocabulary and the grammatical structure of the language), social networks being only one of the areas where these “uglified” linguistic structures come from: the mass-media (both print and broadcast), advertising (outdoor, indoor, television commercials), Internet forums, corporate jargon, etc. The structures under scrutiny are mostly loan translations (i.e. calques) from English, false friends, hybrid constructions and, generally, lexical and grammatical oddities (sometimes even in the source language), which, nevertheless, due to frequent use, have entered the active vocabulary of a large category of speakers and are therefore becoming pervasive in everyday conversation. The proliferation of these ‘mongrel’ structures in common parlance is also the result of their migration, on the principle of communicating vessels, to other areas of interpersonal and public communication, that of advertising in particular. Moreover, their oddity and inappropriateness are now beginning to pass unnoticed, as more and more speakers are treating them as legitimate linguistic forms, which often end up being recorded in dictionaries. Our approach combines theoretical insights with practical solutions and the pragma-linguistic perspective with the translator’s corrective input
Autonomous Systems, Robotics, and Computing Systems Capability Roadmap: NRC Dialogue
Contents include the following: Introduction. Process, Mission Drivers, Deliverables, and Interfaces. Autonomy. Crew-Centered and Remote Operations. Integrated Systems Health Management. Autonomous Vehicle Control. Autonomous Process Control. Robotics. Robotics for Solar System Exploration. Robotics for Lunar and Planetary Habitation. Robotics for In-Space Operations. Computing Systems. Conclusion
A model-driven approach to machine learning and software modeling for the IoT
Models are used in both Software Engineering (SE) and Artificial Intelligence (AI). SE models may specify the architecture at different levels of abstraction and for addressing different concerns at various stages of the software development life-cycle, from early conceptualization and design, to verification, implementation, testing and evolution. However, AI models may provide smart capabilities, such as prediction and decision-making support. For instance, in Machine Learning (ML), which is currently the most popular sub-discipline of AI, mathematical models may learn useful patterns in the observed data and can become capable of making predictions. The goal of this work is to create synergy by bringing models in the said communities together and proposing a holistic approach to model-driven software development for intelligent systems that require ML. We illustrate how software models can become capable of creating and dealing with ML models in a seamless manner. The main focus is on the domain of the Internet of Things (IoT), where both ML and model-driven SE play a key role. In the context of the need to take a Cyber-Physical System-of-Systems perspective of the targeted architecture, an integrated design environment for both SE and ML sub-systems would best support the optimization and overall efficiency of the implementation of the resulting system. In particular, we implement the proposed approach, called ML-Quadrat, based on ThingML, and validate it using a case study from the IoT domain, as well as through an empirical user evaluation. It transpires that the proposed approach is not only feasible, but may also contribute to the performance leap of software development for smart Cyber-Physical Systems (CPS) which are connected to the IoT, as well as an enhanced user experience of the practitioners who use the proposed modeling solution
- …