A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Bidirectional Push Down Automata
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
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
2021
Proceedings of the ACM on Programming Languages (PACMPL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
., 𝐷 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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 2nd Conference on Human System Interactions
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2012
Real-time systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 IEEE 6th International Conference on Wireless and Mobile Computing, Networking and Communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2015
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2000
Physics reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2022
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
1997
Safety and Reliability of Software Based Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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