Filters








32 Hits in 4.7 sec

Bidirectional Push Down Automata [chapter]

Miguel A. Alonso, Víctor J. Díaz, Manuel Vilares
2003 Lecture Notes in Computer Science  
We define a new model of automata for the description of bidirectional parsing strategies for context-free grammars and a tabulation mechanism that allow them to be executed in polynomial time.  ...  This new model of automata provides a modular way of defining bidirectional parsers, separating the description of a strategy from its execution.  ...  To solve this problem, in this section we extend the S 2 and S 1 tabulation techniques to the case of bidirectional push-down automata.  ... 
doi:10.1007/3-540-44977-9_3 fatcat:syai6czn2rbprd6unc5dqbefem

On the complexity of bidirected interleaved Dyck-reachability

Yuanbo Li, Qirun Zhang, Thomas Reps
2021 Proceedings of the ACM on Programming Languages (PACMPL)  
., 𝐷 1 ⊙ 𝐷 1 -reachability) of bidirected InterDyck-reachability. In 𝐷 1 ⊙ 𝐷 1 -reachability, each of the two Dyck languages is restricted to have only a single kind of parenthesis pair.  ...  However, unlike its directed counterpart, the complexity of bidirected InterDyck-reachability still remains open.  ...  Any opinions, findings, conclusions, or recommendations expressed in this publication are those of the authors, and do not necessarily reflect the views of the sponsoring agencies.  ... 
doi:10.1145/3434340 fatcat:7ucdwclbuvhjvgzqoid46ooyzu

6 — Program transformations [chapter]

1981 Lecture Notes in Computer Science  
From this, the correctness of the above realization of pushdown automata immediately follows. 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2  ...  In terms of efficiency we have not gained much, since we still need to investigate each node of the search tree separately.  ...  of Programs").  ... 
doi:10.1007/3-540-10284-1_6 fatcat:es5rjudpajglpmkjzzwsqsipzy

Intelligent diagramming in the electronic online classroom

Bernd Meyer, Kim Marriott, Adrian Bickerstaffe, Lars Knipping
2009 2009 2nd Conference on Human System Interactions  
Digital whiteboards promise to revolutionize the delivery of educational material.  ...  An important feature of eChalk is that hand drawn input is automatically interpreted.  ...  Finally, some parts of a lecture simply take too long to be sketched or written down during a lecture and it is advantageous to be able to present them at the push of a button.  ... 
doi:10.1109/hsi.2009.5090975 fatcat:76kurdaamvdq5nlhbhemlwpsrq

Abstracts of Current Computer Literature

1968 IEEE transactions on computers  
Several of the instruction-stream forms require the use of push-down stacks, and a notation is provided for describing their structure and manipulation.  ...  The power of the sort is tabulated for various sizes of input file and number of work files.  ... 
doi:10.1109/tc.1968.226873 fatcat:4v6ywkipbvh65loafg73kfpidq

Social groups in pedestrian crowds: Review of their influence on the dynamics and their modelling [article]

Alexandre Nicolas, Fadratul Hafinaz
2021 arXiv   pre-print
The existence of group structures is thus likely to impact the collective dynamics of the crowd, possibly in a critical way when emergency situations are considered.  ...  Then, it aims to offer a pedagogical discussion of the main strategies to model such groups, within different types of models, in order to provide guidance for prospective modellers.  ...  Acknowledgements Declaration of interest statement The authors declare no conflict of interest.  ... 
arXiv:2107.13293v1 fatcat:gjyipfzw5bg6joxxhj77z7txim

State-based scheduling with tree schedules: analysis and evaluation

Madhukar Anand, Sebastian Fischmeister, Insup Lee, Linh T. X. Phan
2012 Real-time systems  
Finally, we demonstrate the advantages of state-based supply over stateless supply by means of two case studies.  ...  degree of flexibility similar to algorithmic approaches.  ...  Tree schedules can be considered as a special class of automata-theoretic methods, where the automata structure is limited to a tree structure.  ... 
doi:10.1007/s11241-012-9151-3 fatcat:zvea3o63mvhf5bniqaazrgaana

Experimental study of mobility in the soccer field with application to real-time athlete monitoring

Vijay Sivaraman, Sarthak Grover, Alexander Kurusingal, Ashay Dhamdhere, Alison Burdett
2010 2010 IEEE 6th International Conference on Wireless and Mobile Computing, Networking and Communications  
A major challenge is the extraction of athlete physiological data in real-time, since the radio range of body-worn sensor devices is limited, necessitating multi-hop routing mechanisms.  ...  Our first contribution profiles the key properties of the dynamic wireless topologies arising in the soccer field, and highlights the consequences for routing mechanisms.  ...  Biomedical technology has long been used by professional coaches and trainers in striving to push their athletes' bodies to the edge of its capabilities.  ... 
doi:10.1109/wimob.2010.5645046 dblp:conf/wimob/SivaramanGKDB10 fatcat:rebxblbyhbap3mrtnjzb557o5y

Jukebox: A Generative Model for Music [article]

Prafulla Dhariwal, Heewoo Jun, Christine Payne, Jong Wook Kim, Alec Radford, Ilya Sutskever
2020 arXiv   pre-print
We tackle the long context of raw audio using a multi-scale VQ-VAE to compress it to discrete codes, and modeling those using autoregressive Transformers.  ...  We are releasing thousands of non cherry-picked samples at https://jukebox.openai.com, along with model weights and code at https://github.com/openai/jukebox  ...  It is a mirror of the encoder where dilations constracts by a factor of 3 down to 1 at the last block.  ... 
arXiv:2005.00341v1 fatcat:drwspmscbjfknhqdlunbp6spkm

Parallel parsing made practical

Alessandro Barenghi, Stefano Crespi Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella
2015 Science of Computer Programming  
To prove the practicality of a parallel lexing and parsing approach, we report the results of the adaptation of JSON and Lua to a form fit for parallel parsing (i.e. an operator-precedence grammar) through  ...  This in turn enables the construction of a scalable, data-parallel parsing algorithm, which is presented in this work.  ...  Top-down parsing.  ... 
doi:10.1016/j.scico.2015.09.002 fatcat:h5xzooyiizh3vkmc6pwvnl63u4

Statistical physics of vehicular traffic and some related systems

D Chowdhury
2000 Physics reports  
cellular automata.  ...  In the so-called "microscopic" models of vehicular traffic, attention is paid explicitly to each individual vehicle each of which is represented by a "particle"; the nature of the "interactions" among  ...  A large number of lane changing rules considered in the literature have been tabulated and compared by Nagel et al. Fig. 46 . 46 The table gives an overview over di!  ... 
doi:10.1016/s0370-1573(99)00117-9 fatcat:b6qi525jjjbknlzhvk3drt6e2y

Engineering, Technology & Applied Science Research (ETASR), Vol. 12, No. 1, pp. 7974-8227

Various
2022 Zenodo  
of science application, technology, and engineering.  ...  ETASR is indexed in the Web of Science Core Collection (former Web of Science/Thomson Reuters Master Journal List), through the Emerging Sources Citation Index, is a Crossref member (DOI prefix: 10.48084  ...  Kotzampigikis from the Department of Electrical and Computer Engineering of the University of Peloponnese, in the repetitive task of joining different line parts in order to comply with Google My Maps  ... 
doi:10.5281/zenodo.6369694 fatcat:nvdnhvh53rcvhiic5lij7azjka

Formal Reasoning in Software-defined Networks

Mark Reitblatt
2017
In it, we present a high-level specification language for describing the desired forwarding behavior of networks based on regular expressions over network paths, as well as a tool that automatically verifies  ...  network forwarding policies; an approach to building formally verified compilers and runtimes for forwarding policies written in a network programming language that preserve the semantics of the source  ...  our automata.  ... 
doi:10.7298/x45m63ph fatcat:3nmhnyitzjefpl7dttriqzgiyy

Formal Methods and their Role in the Certification of Critical Systems [chapter]

John Rushby
1997 Safety and Reliability of Software Based Systems  
Its purpose is to outline the technical basis for formal methods in computer science, to explain the use of formal methods in the specification and verification of software and hardware requirements, designs  ...  benefits, weaknesses, and difficulties in applying these methods to digital systems used in critical applications, and to suggest factors for consideration when formal methods are offered in support of  ...  Nancy Leveson of the University of Washington, Bev Littlewood of the City University in London, and Brian Randell of the University of Newcastle upon Tyne.  ... 
doi:10.1007/978-1-4471-0921-1_1 fatcat:33n3af7ssbfkbiy6o6vj462idi

Description, Implementation, and Evaluation of a Generic Design for Tabled CLP [article]

Joaquín Arias, Manuel Carro
2018 arXiv   pre-print
We study the role of projection and entailment in the termination, soundness and completeness of TCLP systems, and present the design and an experimental evaluation of Mod TCLP, a framework that eases  ...  the integration of additional constraint solvers.  ...  for a TCLP top-down execution (Sections 3.2 and 3.3, resp.).  ... 
arXiv:1809.05771v1 fatcat:kotiwkmmrbc6tjvnhryw35jvui
« Previous Showing results 1 — 15 out of 32 results