Filters








135 Hits in 9.3 sec

Syntactic composition of top-down tree transducers is short cut fusion

CLAUS JRGENSEN, HEIKO VOGLER
2004 Mathematical Structures in Computer Science  
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

Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
2017 Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017  
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

Eric Badouel, Bernard Fotsing, Rodrigue Tchougong
2011 Electronical Notes in Theoretical Computer Science  
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  
, 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]

Kevin Mote
2012 arXiv   pre-print
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

Benjamin C. Lee
2015 2015 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)  
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

Chih-Wen Chang, Hau-Wei Lee, Chein-Hung Liu
2018 Inventions  
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

Rich Hickey
2020 Proceedings of the ACM on Programming Languages (PACMPL)  
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

Laith Saed Sakka
2020
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

Xiaoran Ma, Lian Ma, Bradley McPherson
2012 Journal of the Acoustical Society of America  
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

Fritz Ingerslev
1982 Journal of the Acoustical Society of America  
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  
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]

Gerhard Weikum, Luna Dong, Simon Razniewski, Fabian Suchanek
2021 arXiv   pre-print
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

George A. Rose
2008 Journal of the Acoustical Society of America  
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

Yu Luan
2008 Journal of the Acoustical Society of America  
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