Filters








44,573 Hits in 5.9 sec

Temporal semantics for a live coding language

Samuel Aaron, Dominic Orchard, Alan F. Blackwell
2014 Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design - FARM '14  
Sonic Pi is a music live coding language that has been designed for educational use as a first programming language.  ...  We provide a formal specification of the temporal behaviour of Sonic Pi, motivated in relation to other recent approaches to the semantics of time in live coding and general computation.  ...  Further thanks to Henrik Nilsson for his assistance and comments, Andrew Rice for helpful discussion about the temporal analysis, and Andy Hopper for his support.  ... 
doi:10.1145/2633638.2633648 dblp:conf/icfp/AaronOB14 fatcat:yhrhzbnl6ngwpbzde3yfj3tfye

The 'when' and 'where' of semantic coding in the anterior temporal lobe: Temporal representational similarity analysis of electrocorticogram data

Y. Chen, A. Shimotake, R. Matsumoto, T. Kunieda, T. Kikuchi, S. Miyamoto, H. Fukuyama, R. Takahashi, A. Ikeda, M.A. Lambon Ralph
2016 Cortex  
In keeping with convergent evidence for the importance of the ATL in semantic processing, these results provide the first direct evidence of semantic coding from the surface of the ventral ATL and its  ...  Temporal representational similarity analysis (RSA) was used, for the first time, to compare spatio-temporal neural patterns from the ATL surface with pre-defined theoretical models.  ...  Acknowledgements We thank the patients and their carers for their continued support of our research programmes.  ... 
doi:10.1016/j.cortex.2016.02.015 pmid:27085891 pmcid:PMC4884671 fatcat:imjmdphbtfgdffghtjrificuau

Page 731 of Journal of Cognitive Neuroscience Vol. 9, Issue 6 [page]

1997 Journal of Cognitive Neuroscience  
The syllable judgment acted as a control for the semantic decision, subtracting out phonological process- ing and the strategic processes required to make deci- sions on central lingual codes.  ...  For the semantic decision task, the subjects were instructed to press a mouse button with their right index finger when a visually presented word referred to a living object but not when it referred to  ... 

A Virtual Machine For Live Coding Language Design

Graham Wakefield, Charles Roberts
2017 Zenodo  
The growth of the live coding community has been coupled with a rich development of experimentation in new domain-specific languages, sometimes idiosyncratic to the interests of their performers.  ...  The editor utilizes the Parsing Expression Grammar formalism for language design, and a virtual machine featuring collaborative multitasking for execution, in order to support a diversity of language concepts  ...  Additionally, we would like to thank Daniel Gómez Blasco for his extensive work refactoring the virtual machine as a standalone library.  ... 
doi:10.5281/zenodo.1176248 fatcat:smrcbklg7rfdnomcwkrcd6t3wy

Programming with time

Andrew Sorensen, Henry Gardner
2010 Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10  
We ground these ideas within the context of livecoding -a live audiovisual performance practice.  ...  The act of computer programming is generally considered to be temporally removed from a computer program's execution.  ...  Ada, RT-Java [8] and the synchronous languages Lustre, Esterel and Signal [5] are a few of the many languages for embedded programming which support a temporal semantics.  ... 
doi:10.1145/1869459.1869526 dblp:conf/oopsla/SorensenG10 fatcat:uzzqgl657rb7jiirotywe3psky

A Refinement Calculus for Promela

Asankhaya Sharma
2013 2013 18th International Conference on Engineering of Complex Computer Systems  
We give a new dual action semantics for a minimal core of Promela (called Featherweight Promela).  ...  Another solution is to provide a refinement scheme for the model. In this paper we present a method for refining a given Promela model to an implementation in C.  ...  ACKNOWLEDGMENT We would like to thank Wei-Ngan Chin, who reviewed an earlier draft of this paper and provided valuable suggestions for formalizing the approach.We are also grateful to Andreea Costea for  ... 
doi:10.1109/iceccs.2013.20 dblp:conf/iceccs/Sharma13 fatcat:atgngvpnjzgxxpgsnbk47n52fq

Programming with time

Andrew Sorensen, Henry Gardner
2010 SIGPLAN notices  
We ground these ideas within the context of livecoding -a live audiovisual performance practice.  ...  The act of computer programming is generally considered to be temporally removed from a computer program's execution.  ...  Ada, RT-Java [8] and the synchronous languages Lustre, Esterel and Signal [5] are a few of the many languages for embedded programming which support a temporal semantics.  ... 
doi:10.1145/1932682.1869526 fatcat:7xqv3umn25dkjkhqle3nnnkeee

Temporal Structure in Emerging Language: From Natural Data to Silent Gesture

Marieke Schouwstra
2016 Cognitive Science  
Acknowledgements The author would like to thank Kimberly Snoyl for her help in running the experiment and coding the videos, Marianne Smit and Nicky Marien for their help with the stimuli, and Henriëtte  ...  de Swart for thoughtful comments on an earlier version of the paper.  ...  For example, a gesture sequence [tap-wrist + two fingers + moustache + hat + triangle +eat] for the example in figure 1 would be coded as TSOV (tap-wrist +two fingers form the temporal adverbial; moustache  ... 
doi:10.1111/cogs.12441 pmid:27859550 fatcat:lyl5lyq75feunemqfyyexnaere

A Demonstration of a Natural Language Query Interface to an Event-Based Semantic Web Triplestore [chapter]

Richard A. Frost, Jonathon Donais, Eric Mathews, Wale Agboola, Rob Stewart
2014 Lecture Notes in Computer Science  
Natural language semantic-web queries can be treated as expressions of the lambda calculus and evaluated directly with respect to an event-based triplestore using only basic triple retrieval operations  ...  Direct evaluation of NL queries In [7] we describe a denotational semantics for natural-language query interfaces to event-based triplestores.  ...  YAGO2 is an example [10] which uses a simple form of reification to represent temporal and spatial properties.  ... 
doi:10.1007/978-3-319-11955-7_46 fatcat:fliib6va5nggzfmujmf24ezr3e

Segregating Semantic from Phonological Processes during Reading

C. J. Price, C. J. Moore, G. W. Humphreys, R. J. S. Wise
1997 Journal of Cognitive Neuroscience  
For the semantic decision task, the subjects were instructed to press a mouse button with their right index finger when a visually presented word referred to a living object but not when it referred to  ...  DISCUSSION Semantic Memories This study indicates that regions of the left extrasylvian temporal cortices are the most likely sites for semantic memories because there is enhanced activation during living-nonliving  ... 
doi:10.1162/jocn.1997.9.6.727 pmid:23964595 fatcat:3gkguhxc7vei5geql2hqwvtwbq

The Natural Language Programming (NLPRO) Project: Turning Text into Executable Code

Reut Tsarfaty
2018 Requirements Engineering: Foundation for Software Quality  
semantic representation in terms of Live Sequence Charts (LSCs), and (iii) develop and comparatively evaluate novel sentence-based vs. discourse-based models for semantic parsing of requirements documents  ...  To achieve this, we embrace the ambiguity of NL requirements and define a three-fold research agenda wherein we (i) formalize text-to-code translation as a structure prediction task, (ii) propose a formal  ...  Acknowledgements This work is kindly supported by the European Research Council, ERC-StG-2015 grant 677352, for which we are grateful.  ... 
dblp:conf/refsq/Tsarfaty18 fatcat:qglblmss7bdv7eyqiqsnd4jp4a

Specifying real-time properties in autonomic systems

Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley
2007 Innovations in Systems and Software Engineering  
We introduce TA-LTL, a timed adaptation-based extension to linear temporal logic, and use this logic to specify three timing properties associated with the adaptation process: safety, liveness, and stability  ...  A dynamic adaptation scenario involving interactive audio streaming software is used to illustrate the timed temporal logic.  ...  N00014-01-1-0744, and by Siemens Corporate Research, and a Michigan State University Quality Fund Concept Grant. Further Information.  ... 
doi:10.1007/s11334-006-0016-6 fatcat:fazwfa6pbvh5nbkswsqzzi4zla

Live Writing : Writing As A Real-Time Audiovisual Performance

Sang Won Lee, Georg Essl, Mari Martinez
2016 Zenodo  
Our live writing performance system is enabled by a custom text editor, writing-sound mapping strategies of our choice, a poem-sonification, and temporal typography.  ...  Live writing draws upon ideas from the tradition of live coding in which the process of programming is revealed to the audience in real-time.  ...  The paper suggested temporal typography as a visualization technique for live writing.  ... 
doi:10.5281/zenodo.1176060 fatcat:ukro7hhvtbd4bh5nwd5jbebb2u

Spatio-temporal Indexing in Database Semantics [chapter]

Roland Hausser
2001 Lecture Notes in Computer Science  
Such an analysis is important for modeling natural language communication because spatio-temporal information is constantly coded into language by the speaker and decoded by the hearer.  ...  Starting from the spatio-temporal characterization of direct observation in cognitive agents without language, the speaker's coding of spatio-temporal information into language is analyzed, followed by  ...  For this, a propositional content's spatio-temporal location is characterized in the database of the speaker, (ii) coded into the language sign, (iii) reconstructed by hearer, and (iv) and represented  ... 
doi:10.1007/3-540-44686-9_5 fatcat:jbvwqg56y5e2zm2v267wb4b4tq

Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics

Saranya Natarajan, David Broman
2020 2020 Forum for Specification and Design Languages (FDL)  
In this paper, we propose a new method for temporal property-based testing. The general method is implemented and evaluated on the Timed C real-time programming language.  ...  The temporal correctness then depends on correctly implementing the model using a real-time programming language and compiling it to a hardware platform.  ...  Brandenburg, Mitra Nasri, and Geoffrey Nelissen for early discussions on the concept of TFGs. We would also like to thank Viktor Palmkvist for ideas on the log generation.  ... 
doi:10.1109/fdl50818.2020.9232935 dblp:conf/fdl/NatarajanB20 fatcat:kyu6ruiv65f75kef336fmhd2oe
« Previous Showing results 1 — 15 out of 44,573 results