A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Syntactic composition of top-down tree transducers is short cut fusion
2004
Mathematical Structures in Computer Science
Preserved Fulltext
We compare two deforestation techniques: short cut fusion formalized in category theory and the syntactic composition of tree transducers. ...
(iii) The subclass of top-down categorical transducers is a subcategory. (iv) ...
of top-down tree transducers is short cut fusion. ...
doi:10.1017/s0960129503004109
fatcat:dhi7qbfivrg7nnmxy7t76m6eca
Fusing effectful comprehensions
2017
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 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 2016; you can also visit the original URL.
The file type is application/pdf.
Finally, we formalize the semantics of symbolic transducers and their compositions as a transduction monad, which provides a link between the automata-theoretic view and a monadic view of symbolic transducers ...
Using background theory reasoning with an SMT solver our fusion and subsequent reachability based branch elimination algorithms can significantly reduce the complexity of the fused pipelines. ...
We provide a top-down view of the fusion algorithm in Figure 7 with further helper procedures in Figure 8 . Fusion is implemented using depth first search starting from (p, q) = (q 0 A , q 0 B ). ...
doi:10.1145/3062341.3062362
dblp:conf/pldi/SaarikiviVMM17
fatcat:567q5l43zrcwjpwwaftuvhqsti
Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers
2011
Electronical Notes in Theoretical 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 2019; you can also visit the original URL.
The file type is application/pdf.
We present an alternative first-order functional interpretation of attribute grammars where the input tree is replaced with an extended cyclic tree each node of which is aware of its context viewed as ...
By the way, we demonstrate that these cyclic representations of zippers (trees with their context) are natural generalizations of doubly-linked lists to trees over an arbitrary signature. ...
It is much easier to compose (top-down) tree transducers than to compute the syntactic composition of attribute grammars. ...
doi:10.1016/j.entcs.2011.02.015
fatcat:bvaeuwfahrhlbmr34dnp3fba6q
Subject index volumes 1–200
1999
Theoretical 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.
, 648
struclures, nonlinear -, 648
transducer, macro -, 83 1
tree transducers, 146 1, 1724, 2072, 2 112, 3799
attributed -, 2112
copying top-down -, 2556
deterministic top-down -, 2556, 2705
macro ...
goal. 669
top-catenation,
1832
top-down
automata, 825
computation, 2682
design methodologies, 1292
topdown design of a parallel PRAM dictionary.
2922
top-down
execution phase. 1 I7 1
generalized ...
doi:10.1016/s0304-3975(98)00319-3
fatcat:s22ud3iiqjht7lfbtc3zctk7zm
Natural Language Processing - A Survey
[article]
2012
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 2019; you can also visit the original URL.
The file type is application/pdf.
In short, the objective of this article is to describe the purpose, procedures and practical applications of NLP in a clear, balanced, and readable way. ...
However there are, to date, few accessible descriptions of the science of NLP that have been written for a popular audience, or even for an audience of intelligent, but uninitiated scientists. ...
Another helpful contribution of the book is its overview of several of the most cutting edge NL systems. ...
arXiv:1209.6238v1
fatcat:7ju5x3bguvhzlavukgx2sli4zy
Message from the general chair
2015
2015 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)
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 2019; you can also visit the original URL.
The file type is application/pdf.
The model is not restricted to nominal ...
We explore ways of using the resulting grounding to boost the performance of a state-of-the-art co-reference resolution system. ...
Head-driven Transition-based Parsing with Top-down Prediction Katsuhiko Hayashi, Taro Watanabe, Masayuki Asahara, and Yuji Matsumoto Tuesday 2:00pm-2:30pm -Halla A (ICC) This paper presents a novel top-down ...
doi:10.1109/ispass.2015.7095776
dblp:conf/ispass/Lee15
fatcat:ehbed6nl6barfgs6pzwcvwxria
A Review of Artificial Intelligence Algorithms Used for Smart Machine Tools
2018
Inventions
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 2019; you can also visit the original URL.
The file type is application/pdf.
the cutting state monitoring [125], multisensory fusion based virtual tool wear sensing for ubiquitous manufacturing [126], survey control for intelligent manufacturing [127], a review of AI in intelligent ...
overview of DL approaches [51], an introduction to the learning of multiple layers of representation [52], a denoising AE for the extraction and composition of robust features [53], a large-scale deep ...
The support vector data description model was then utilized for top to bottom classification using the binary tree structure. ...
doi:10.3390/inventions3030041
fatcat:6qrwhmrl2bfwrgmovqvsyx5p3y
A history of Clojure
2020
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 2020; you can also visit the original URL.
The file type is application/pdf.
While much is made of these facilities as a recipe for syntactic abstraction (e.g., macros), syntactic abstraction via code-is-data is just a single exemplar of the value of defining any process as functions ...
al. ;; in action ;; transducers compose with ordinary function composition -'comp' => (let [xform (comp (map inc) (filter even?)) ...
This is a great example of where having more things is simpler than having one, semantically overloaded, thing. ...
doi:10.1145/3386321
fatcat:gsvigyskerc3hj7ebyj7bqimhm
TECHNIQUES FOR AUTOMATIC FUSION OF GENERAL TREE TRAVERSALS
2020
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.
Tree fusion is a transformation that targets combining and fusing different traversals that traverse the same tree and perform them together (ideally in one traversal). ...
Kd-trees, render trees and abstract syntax trees are more sophisticated examples of tree structures. ...
FMM is typically implemented as multiple top-down and bottom-up passes over the quad-tree. ...
doi:10.25394/pgs.11943309.v1
fatcat:dfepxv5bpjggxlanvjnowcckdq
Electrophysiologic assessment of (central) auditory processing disorder in children with non-syndromic cleft lip and/or palate
2012
Journal of the Acoustical Society of America
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 2019; you can also visit the original URL.
The file type is application/pdf.
Reservoir is an underground formation with various pores that is able to store oil, water and/or gas, while reservoir acoustics is related to studies and applications of acoustic wave interactions with ...
But following the revelations by Marshall, interest in the effects of early lateral reflections overshadowed interest in what is now called LEV. ...
The composite transducer is composed of a radially polarized piezoelectric ceramic short tube with arbitrary wall thickness and a metal tube. ...
doi:10.1121/1.4709280
fatcat:4mh3vlxn7ffl7kdnegaad3f2hq
Danish activities concerning noise in the environment
1982
Journal of the Acoustical Society of America
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 2019; you can also visit the original URL.
The file type is application/pdf.
A general method for making top-levei sizing arid design decisions for broadbahd transducers is presented. ...
The accuracy and tree size of this approach have been investigated as a function of (a} length of the left Low-cost English text-to-speech systems typically do not use syntactic analysis. ...
Key system features include a five degree of freedom manipulator arm, a six element acoustic intensity transducer, a digital control unit for the manipulator, dedicated spectrum analysis and desk top calculator ...
doi:10.1121/1.2019901
fatcat:kk6boa5no5aitorvgbktvdlxou
Introduction
[chapter]
2016
Music Data Analysis
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.
The interface between the computer and statistical sciences is increasing, as each discipline seeks to harness the power and resources of the other. ...
This series aims to foster the integration between the computer sciences and statistical, numerical, and probabilistic methods by publishing a broad range of reference works, textbooks, and handbooks. ...
Splitting Rules The fitting process for the tree structure proceeds in a top-down, greedy manner. We start at the root, and consider all available data. ...
doi:10.1201/9781315370996-5
fatcat:avooqogcpnbjngqmzuonil3exq
Machine Knowledge: Creation and Curation of Comprehensive Knowledge Bases
[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.
Other Versions
On top of this, the article discusses the automatic extraction of entity-centric properties. ...
Equipping machines with comprehensive knowledge of the world's entities and their relationships has been a long-standing goal of AI. ...
It is a great pleasure and honor to have such wonderful colleagues in our research community. ...
arXiv:2009.11564v2
fatcat:vh2lqfmhhbcwpf6dcsej3hhvgy
Acoustic GIS‐based monitoring of Atlantic cod ecosystems in coastal Newfoundland
2008
Journal of the Acoustical Society of America
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.
way room acoustics is handled. ...
DL2 reflects better the challenges of sound control in such rooms, which is basically sound propagation control. ...
Such results suggest a model of selective attention in which the focus of attention is an auditory object that is formed through interactions between automatic grouping processes and top-down selection ...
doi:10.1121/1.2932540
fatcat:v6w3j7upx5duhkunch6oai5jve
The structural acoustic properties of stiffened shells
2008
Journal of the Acoustical Society of America
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 2019; you can also visit the original URL.
The file type is application/pdf.
way room acoustics is handled. ...
DL2 reflects better the challenges of sound control in such rooms, which is basically sound propagation control. ...
Such results suggest a model of selective attention in which the focus of attention is an auditory object that is formed through interactions between automatic grouping processes and top-down selection ...
doi:10.1121/1.2932806
fatcat:zohbewf2k5h7fly2hoqzfdk42e
« Previous
Showing results 1 — 15 out of 135 results