Search results for "lexing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
56	Judith Klavans, Brian Whitman	Extracting taxonomic relationships from on-line definitional sources using LEXING.	JCDL	2001	DBLP DOI BibTeX RDF	lexical knowledge bases, ontologies, information retrieval, natural language processing, definitions, glossaries
36	Gail C. Murphy, David Notkin	Lightweight Lexical Source Model Extraction.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	scanner generation, source model, reverse engineering, static analysis, software maintenance, scanning, source code analysis, lexical analysis, lexing
32	Jeremy Yallop, Ningning Xie, Neel Krishnaswami	flap: A Deterministic Parser with Fused Lexing.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
32	Jeremy Yallop, Ningning Xie, Neel Krishnaswami	flap: A Deterministic Parser with Fused Lexing.	CoRR	2023	DBLP DOI BibTeX RDF
32	Christian Urban	POSIX Lexing with Derivatives of Regular Expressions.	J. Autom. Reason.	2023	DBLP DOI BibTeX RDF
32	Chengsong Tan, Christian Urban	POSIX Lexing with Bitcoded Derivatives.	ITP	2023	DBLP DOI BibTeX RDF
32	Derek Egolf, Sam Lasser, Kathleen Fisher	Verbatim++: verified, optimized, and semantically rich lexing with derivatives.	CPP	2022	DBLP DOI BibTeX RDF
32	Le Li, Shigeyuki Sato 0001, Qiheng Liu, Kenjiro Taura	Plex: Scaling Parallel Lexing with Backtrack-Free Prescanning.	IPDPS	2021	DBLP DOI BibTeX RDF
32	Steven Obua	Parameterized Local Lexing.	CoRR	2017	DBLP BibTeX RDF
32	Steven Obua, Phil Scott, Jacques D. Fleuriot	Local Lexing.	CoRR	2017	DBLP BibTeX RDF
32	Steven Obua	Local Lexing.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
32	Fahad Ausaf, Roy Dyckhoff, Christian Urban	POSIX Lexing with Derivatives of Regular Expressions.	Arch. Formal Proofs	2016	DBLP BibTeX RDF
32	Fahad Ausaf, Roy Dyckhoff, Christian Urban	POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl).	ITP	2016	DBLP DOI BibTeX RDF
32	Manuel M. T. Chakravarty	Lazy Lexing is Fast.	Fuji International Symposium on Functional and Logic Programming	1999	DBLP DOI BibTeX RDF
32	Chandra R. Asthagiri, Jerry L. Potter	Associative Parallel Lexing.	IPPS	1992	DBLP DOI BibTeX RDF
32	David Spector	Lexing and parsing Modula-2.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
25	Patrice Godefroid, Adam Kiezun, Michael Y. Levin	Grammar-based whitebox fuzzing.	PLDI	2008	DBLP DOI BibTeX RDF	software testing, program verification, grammars, automatic test generation
25	Li Xu, Fred G. Martin	Chirp on crickets: teaching compilers using an embedded robot controller.	SIGCSE	2006	DBLP DOI BibTeX RDF	virtual machine, embedded processor, compiler construction, educational robotics, language processing
25	Robert Grimm 0001	Better extensibility through modular syntax.	PLDI	2006	DBLP DOI BibTeX RDF	extensible syntax, packrat parsing, parsing expression grammar, parser generator, module system
25	Satish Chandra Gupta, Tien Nhut Nguyen, Ethan V. Munson	The Software Concordance: Using a Uniform Document Model to Integrate Program Analysis and Hypermedia.	APSEC	2003	DBLP DOI BibTeX RDF
25	Ian Toyn, Susan Stepney	Characters + Mark-up = Z Lexis.	ZB	2002	DBLP DOI BibTeX RDF
23	Haoya Li, Hsiang-Fu Yu, Lexing Ying, Inderjit S. Dhillon	Accelerating Primal-Dual Methods for Regularized Markov Decision Processes.	SIAM J. Optim.	2024	DBLP DOI BibTeX RDF
23	Duzhong Zhang, Lexing Chen, Taiyong Li	Hyper-chaotic color image encryption based on 3D orthogonal Latin cubes and RNA diffusion.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
23	Haoxuan Chen, Lexing Ying	Ensemble-Based Annealed Importance Sampling.	CoRR	2024	DBLP DOI BibTeX RDF
23	Xun Tang, Holakou Rahmanian, Michael Shavlovsky, Kiran Koshy Thekumparampil, Tesi Xiao, Lexing Ying	A Sinkhorn-type Algorithm for Constrained Optimal Transport.	CoRR	2024	DBLP DOI BibTeX RDF
23	Boyao Peng, Lexing Zhang, Enkai Li	Lane level joint control of off-ramp and main line speed guidance on expressway in rainy weather.	CoRR	2024	DBLP DOI BibTeX RDF
23	Hongrui Chen, Lexing Ying	Convergence Analysis of Discrete Diffusion Model: Exact Implementation through Uniformization.	CoRR	2024	DBLP DOI BibTeX RDF
23	Alice Cortinovis, Lexing Ying	A sublinear-time randomized algorithm for column and row subset selection based on strong rank-revealing QR factorizations.	CoRR	2024	DBLP DOI BibTeX RDF
23	Xun Tang, Michael Shavlovsky, Holakou Rahmanian, Elisa Tardini, Kiran Koshy Thekumparampil, Tesi Xiao, Lexing Ying	Accelerating Sinkhorn Algorithm with Sparse Newton Iterations.	CoRR	2024	DBLP DOI BibTeX RDF
23	Lexing Ying	Multidimensional unstructured sparse recovery via eigenmatrix.	CoRR	2024	DBLP DOI BibTeX RDF
23	Yinuo Ren, Chao Ma 0012, Lexing Ying	Understanding the Generalization Benefits of Late Learning Rate Decay.	CoRR	2024	DBLP DOI BibTeX RDF
23	Yinuo Ren, Yiping Lu 0001, Lexing Ying, Grant M. Rotskoff	Statistical Spatially Inhomogeneous Diffusion Inference.	AAAI	2024	DBLP DOI BibTeX RDF
23	Yinuo Ren, Chao Ma 0012, Lexing Ying	Understanding the Generalization Benefits of Late Learning Rate Decay.	AISTATS	2024	DBLP BibTeX RDF
23	Yinuo Ren, Tesi Xiao, Tanmay Gangwani, Anshuka Rangi, Holakou Rahmanian, Lexing Ying, Subhajit Sanyal	Multi-objective Optimization via Wasserstein-Fisher-Rao Gradient Flow.	AISTATS	2024	DBLP BibTeX RDF
23	Yijin Zhong, Wei Lin 0021, Ying Xu, Lexing Huang, Yue Huang 0001, Xinghao Ding	Contrastive Learning for Radar HRRP Recognition With Missing Aspects.	IEEE Geosci. Remote. Sens. Lett.	2023	DBLP DOI BibTeX RDF
23	Changxing Jing, Lexing Huang, Senlin Cai, Yihong Zhuang, Zhenlong Xiao, Yue Huang 0001, Xinghao Ding	Interclass Similarity Transfer for Imbalanced Aerial Scene Classification.	IEEE Geosci. Remote. Sens. Lett.	2023	DBLP DOI BibTeX RDF
23	Cai Yang, Lexing Xie, Siqi Wu	The Shapes of the Fourth Estate During the Pandemic: Profiling COVID-19 News Consumption in Eight Countries.	Proc. ACM Hum. Comput. Interact.	2023	DBLP DOI BibTeX RDF
23	Haoya Li, Samarth Gupta, Hsiang-Fu Yu, Lexing Ying, Inderjit S. Dhillon	Approximate Newton Policy Gradient Algorithms.	SIAM J. Sci. Comput.	2023	DBLP DOI BibTeX RDF
23	Philip A. Etter, Yuwei Fan, Lexing Ying	Coarse-proxy reduced basis methods for integral equations.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
23	Yifan Peng, Lin Lin 0001, Lexing Ying, Leonardo Zepeda-Núñez	Efficient long-range convolutions for point clouds.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
23	Minjeong Shin, Joohee Kim, Yunha Han, Lexing Xie, Mitchell Whitelaw, Bum Chul Kwon, Sungahn Ko, Niklas Elmqvist	Roslingifier: Semi-Automated Storytelling for Animated Scatterplots.	IEEE Trans. Vis. Comput. Graph.	2023	DBLP DOI BibTeX RDF
23	Haiqing Zhu, Yun Kuen Cheung, Lexing Xie	Stability and Efficiency of Personalised Cultural Markets.	CoRR	2023	DBLP DOI BibTeX RDF
23	Jose H. Blanchet, Haoxuan Chen, Yiping Lu 0001, Lexing Ying	When can Regression-Adjusted Control Variates Help? Rare Events, Sobolev Embedding and Minimax Optimality.	CoRR	2023	DBLP DOI BibTeX RDF
23	Haoya Li, Hongkang Ni, Lexing Ying	On efficient quantum block encoding of pseudo-differential operators.	CoRR	2023	DBLP DOI BibTeX RDF
23	Haoya Li, Yu Tong, Hongkang Ni, Tuvia Gefen, Lexing Ying	Heisenberg-limited Hamiltonian learning for interacting bosons.	CoRR	2023	DBLP DOI BibTeX RDF
23	Haoya Li, Hongkang Ni, Lexing Ying	A note on spike localization for line spectrum estimation.	CoRR	2023	DBLP DOI BibTeX RDF
23	Xun Tang, Lexing Ying	Solving high-dimensional Fokker-Planck equation with functional hierarchical tensor.	CoRR	2023	DBLP DOI BibTeX RDF
23	Cai Yang, Lexing Xie, Siqi Wu	The Shapes of the Fourth Estate During the Pandemic: Profiling COVID-19 News Consumption in Eight Countries.	CoRR	2023	DBLP DOI BibTeX RDF
23	Yinuo Ren, Tesi Xiao, Tanmay Gangwani, Anshuka Rangi, Holakou Rahmanian, Lexing Ying, Subhajit Sanyal	Multi-Objective Optimization via Wasserstein-Fisher-Rao Gradient Flow.	CoRR	2023	DBLP DOI BibTeX RDF
23	Lexing Ying	Multimodal Sampling via Approximate Symmetries.	CoRR	2023	DBLP DOI BibTeX RDF
23	Yinuo Ren, Yiping Lu 0001, Lexing Ying, Grant M. Rotskoff	Statistical Spatially Inhomogeneous Diffusion Inference.	CoRR	2023	DBLP DOI BibTeX RDF
23	Zeyu Zhang 0001, Lexing Zhang, Zaijin Wang, Ziyuan Jiao, Muzhi Han, Yixin Zhu 0001, Song-Chun Zhu, Hangxin Liu	Part-level Scene Reconstruction Affords Robot Interaction.	CoRR	2023	DBLP DOI BibTeX RDF
23	Shidi Li, Christian Walder, Alexander Soen, Lexing Xie, Miaomiao Liu	Sampled Transformer for Point Sets.	CoRR	2023	DBLP DOI BibTeX RDF
23	Tuan Dung Nguyen, Ziyu Chen, Nicholas George Carroll, Alasdair Tran, Colin Klein, Lexing Xie	Measuring Moral Dimensions in Social Media with Mformer.	CoRR	2023	DBLP DOI BibTeX RDF
23	Alice Cortinovis, Lexing Ying	Computing Free Convolutions via Contour Integrals.	CoRR	2023	DBLP DOI BibTeX RDF
23	Hongkang Ni, Haoya Li, Lexing Ying	Quantum Hamiltonian Learning for the Fermi-Hubbard Model.	CoRR	2023	DBLP DOI BibTeX RDF
23	Lexing Ying	Eigenmatrix for unstructured sparse recovery.	CoRR	2023	DBLP DOI BibTeX RDF
23	Hongkang Ni, Haoya Li, Lexing Ying	On low-depth algorithms for quantum phase estimation.	Quantum	2023	DBLP DOI BibTeX RDF
23	Haoya Li, Hongkang Ni, Lexing Ying	On efficient quantum block encoding of pseudo-differential operators.	Quantum	2023	DBLP DOI BibTeX RDF
23	Zeyu Zhang 0001, Lexing Zhang, Zaijin Wang, Ziyuan Jiao, Muzhi Han, Yixin Zhu 0001, Song-Chun Zhu, Hangxin Liu	Part-level Scene Reconstruction Affords Robot Interaction.	IROS	2023	DBLP DOI BibTeX RDF
23	Haiqing Zhu, Yun Kuen Cheung, Lexing Xie	Stability and Efficiency of Personalised Cultural Markets.	WWW	2023	DBLP DOI BibTeX RDF
23	Lexing Huang	A Study on the CO2 Emissions of Mainland China Using Deep Learning Models.	ICBASE	2023	DBLP DOI BibTeX RDF
23	Lexing Wang, Tenghai Qiu, Zhiqiang Pu, Jianqiang Yi, Jinying Zhu	A Knowledge-Based Autonomous Decision-Making Method for Agents in Asymmetric Confrontation.	CASE	2023	DBLP DOI BibTeX RDF
23	Jose H. Blanchet, Haoxuan Chen, Yiping Lu 0001, Lexing Ying	When can Regression-Adjusted Control Variate Help? Rare Events, Sobolev Embedding and Minimax Optimality.	NeurIPS	2023	DBLP BibTeX RDF
23	Jikai Jin, Yiping Lu 0001, José H. Blanchet, Lexing Ying	Minimax Optimal Kernel Operator Learning via Multilevel Training.	ICLR	2023	DBLP BibTeX RDF
23	Alasdair Tran, Alexander Patrick Mathews, Lexing Xie, Cheng Soon Ong	Factorized Fourier Neural Operators.	ICLR	2023	DBLP BibTeX RDF
23	Marian-Andrei Rizoiu, Alexander Soen, Shidi Li, Pio Calderon, Leanne Dong, Aditya Krishna Menon, Lexing Xie	Interval-censored Hawkes processes.	J. Mach. Learn. Res.	2022	DBLP BibTeX RDF
23	Mohamed Reda Bouadjenek, Scott Sanner, Zahra Iman, Lexing Xie, Daniel Xiaoliang Shi	A longitudinal study of topic classification on Twitter.	PeerJ Comput. Sci.	2022	DBLP DOI BibTeX RDF
23	Philip A. Etter, Lexing Ying	Operator Shifting for General Noisy Matrix Systems.	SIAM J. Math. Data Sci.	2022	DBLP DOI BibTeX RDF
23	Haoya Li, Lexing Ying	A semigroup method for high dimensional elliptic PDEs and eigenvalue problems based on neural networks.	J. Comput. Phys.	2022	DBLP DOI BibTeX RDF
23	Lexing Ying	Analytic continuation from limited noisy Matsubara data.	J. Comput. Phys.	2022	DBLP DOI BibTeX RDF
23	Lexing Ying	Double Flip Move for Ising Models with Mixed Boundary Conditions.	CoRR	2022	DBLP DOI BibTeX RDF
23	Lexing Ying	Analytic continuation from limited noisy Matsubara data.	CoRR	2022	DBLP BibTeX RDF
23	Chao Ma 0012, Lexing Ying	Why self-attention is Natural for Sequence-to-Sequence Problems? A Perspective from Symmetries.	CoRR	2022	DBLP DOI BibTeX RDF
23	Xun Tang, Yoonhaeng Hur, Yuehaw Khoo, Lexing Ying	Generative Modeling via Tree Tensor Network States.	CoRR	2022	DBLP DOI BibTeX RDF
23	Chao Ma 0012, Lei Wu, Lexing Ying	The Multiscale Structure of Neural Network Loss Functions: The Effect on Optimization and Origin.	CoRR	2022	DBLP DOI BibTeX RDF
23	Lydia R. Lucchesi, Petra M. Kuhnert, Jenny L. Davis, Lexing Xie	Smallset Timelines: A Visual Representation of Data Preprocessing Decisions.	CoRR	2022	DBLP DOI BibTeX RDF
23	Tuan Dung Nguyen, Georgiana Lyall, Alasdair Tran, Minjeong Shin, Nicholas George Carroll, Colin Klein, Lexing Xie	Mapping Topics in 100, 000 Real-life Moral Dilemmas.	CoRR	2022	DBLP DOI BibTeX RDF
23	Yuli Liu, Christian J. Walder, Lexing Xie	Determinantal Point Process Likelihoods for Sequential Recommendation.	CoRR	2022	DBLP DOI BibTeX RDF
23	Jikai Jin, Yiping Lu 0001, Jose H. Blanchet, Lexing Ying	Minimax Optimal Kernel Operator Learning via Multilevel Training.	CoRR	2022	DBLP DOI BibTeX RDF
23	Lexing Ying	Annealed importance sampling for Ising models with mixed boundary conditions.	CoRR	2022	DBLP DOI BibTeX RDF
23	Lexing Ying	Stable factorization for phase factors of quantum signal processing.	CoRR	2022	DBLP BibTeX RDF
23	Yuhua Zhu, Zach Izzo, Lexing Ying	Continuous-in-time Limit for Bayesian Bandits.	CoRR	2022	DBLP DOI BibTeX RDF
23	Yinuo Ren, Hongli Zhao, Yuehaw Khoo, Lexing Ying	High-dimensional density estimation with tensorizing flow.	CoRR	2022	DBLP DOI BibTeX RDF
23	JooYoung Lee, Siqi Wu, Ali Mert Ertugrul, Yu-Ru Lin, Lexing Xie	Whose Advantage? Measuring Attention Dynamics across YouTube and Twitter on Controversial Topics.	CoRR	2022	DBLP DOI BibTeX RDF
23	Jiahao Yao, Haoya Li, Marin Bukov, Lin Lin 0001, Lexing Ying	Monte Carlo Tree Search based Hybrid Optimization of Variational Quantum Circuits.	CoRR	2022	DBLP DOI BibTeX RDF
23	Alexander Soen, Ibrahim Alabdulmohsin, Sanmi Koyejo, Yishay Mansour, Nyalleng Moorosi, Richard Nock, Ke Sun 0001, Lexing Xie	Fair Wrapping for Black-box Predictions.	CoRR	2022	DBLP BibTeX RDF
23	Yiping Lu 0001, Wenlong Ji, Zachary Izzo, Lexing Ying	Importance Tempering: Group Robustness for Overparameterized Models.	CoRR	2022	DBLP DOI BibTeX RDF
23	Chao Ma 0012, Lexing Ying	Provably convergent quasistatic dynamics for mean-field two-player zero-sum games.	CoRR	2022	DBLP BibTeX RDF
23	Yiping Lu 0001, Jose H. Blanchet, Lexing Ying	Sobolev Acceleration and Statistical Optimality for Learning Elliptic Equations via Gradient Descent.	CoRR	2022	DBLP DOI BibTeX RDF
23	Yiping Lu 0001, Jiajin Li, Lexing Ying, Jose H. Blanchet	Synthetic Principal Component Design: Fast Covariate Balancing with Synthetic Controls.	CoRR	2022	DBLP DOI BibTeX RDF
23	Junde Wu, Huihui Fang, Fei Li, Huazhu Fu, Fengbin Lin, Jiongcheng Li, Lexing Huang, Qinji Yu, Sifan Song, Xingxing Xu, Yanyu Xu, Wensai Wang, Lingxiao Wang, Shuai Lu 0003, Huiqi Li, Shihua Huang, Zhichao Lu, Chubin Ou, Xifei Wei, Bingyuan Liu, Riadh Kobbi, Xiaoying Tang 0001, Li Lin 0006, Qiang Zhou, Qiang Hu, Hrvoje Bogunovic, José Ignacio Orlando, Xiulan Zhang, Yanwu Xu 0001	GAMMA Challenge: Glaucoma grAding from Multi-Modality imAges.	CoRR	2022	DBLP BibTeX RDF
23	Haoya Li, Hsiang-Fu Yu, Lexing Ying, Inderjit S. Dhillon	Accelerating Primal-dual Methods for Regularized Markov Decision Processes.	CoRR	2022	DBLP BibTeX RDF
23	Lexing Ying	Pole recovery from noisy data on imaginary axis.	CoRR	2022	DBLP BibTeX RDF
23	Lexing Ying	Stable factorization for phase factors of quantum signal processing.	Quantum	2022	DBLP DOI BibTeX RDF
23	Lexing Ying	Pole Recovery From Noisy Data on Imaginary Axis.	J. Sci. Comput.	2022	DBLP DOI BibTeX RDF
23	Philip A. Etter, Kai Zhong, Hsiang-Fu Yu, Lexing Ying, Inderjit S. Dhillon	Enterprise-Scale Search: Accelerating Inference for Sparse Extreme Multi-Label Ranking Trees.	WWW	2022	DBLP DOI BibTeX RDF
23	Lexing Wang, Zhiqiang Pu, Tenghai Qiu, Zhen Liu 0020, Jianqiang Yi	A Selected Interaction Swarming Algorithm for Connected Dynamic Coverage of Mobile Sensor Networks.	ACC	2022	DBLP DOI BibTeX RDF
23	Lexing Huang, Senlin Cai, Yihong Zhuang, Changxing Jing, Yue Huang 0001, Xiaotong Tu, Xinghao Ding	A Two-Stage Contrastive Learning Framework For Imbalanced Aerial Scene Recognition.	ICASSP	2022	DBLP DOI BibTeX RDF
23	Yuli Liu, Christian J. Walder, Lexing Xie	Determinantal Point Process Likelihoods for Sequential Recommendation.	SIGIR	2022	DBLP DOI BibTeX RDF