Search results for "YALE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Björn Lisper	Detecting Static Algorithms by Partial Evaluation.	PEPM	1991	DBLP DOI BibTeX RDF
25	Maurizio Proietti, Alberto Pettorossi	Semantics Preserving Transformation Rules for Prolog.	PEPM	1991	DBLP DOI BibTeX RDF	Prolog
25	Olin Shivers	The Semantics of Scheme Control-Flow Analysis.	PEPM	1991	DBLP DOI BibTeX RDF
25	Young Gil Park, Benjamin Goldberg	Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References.	PEPM	1991	DBLP DOI BibTeX RDF
25	Dan Sahlin	Determinacy Analysis for Full Prolog.	PEPM	1991	DBLP DOI BibTeX RDF	Prolog
25	Donald A. Smith	Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages.	PEPM	1991	DBLP DOI BibTeX RDF
25	Timothy J. Hickey, Donald A. Smith	Toward the Partial Evaluation of CLP Languages.	PEPM	1991	DBLP DOI BibTeX RDF
25	Agostino Cortesi, Gilberto Filé	Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis.	PEPM	1991	DBLP DOI BibTeX RDF
25	Philip Wadler	Is There a Use for Linear Logic?	PEPM	1991	DBLP DOI BibTeX RDF
25	Spiro Michaylov, Frank Pfenning	Compiling the Polymorphic Lambda-Calculus.	PEPM	1991	DBLP DOI BibTeX RDF
25	Zena M. Ariola, Arvind	A Syntactic Approach to Program Transformations.	PEPM	1991	DBLP DOI BibTeX RDF
25	Ian A. Mason, Carolyn L. Talcott	Program Transformations for Configuring Components.	PEPM	1991	DBLP DOI BibTeX RDF
25	Andrei V. Klimov	Dynamic Specialization in Extended Functional Language with Monotone Objects.	PEPM	1991	DBLP DOI BibTeX RDF
25	Alexander Romanenko	Inversion and Metacomputation.	PEPM	1991	DBLP DOI BibTeX RDF	Refal
25	Robert Muller	M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract).	PEPM	1991	DBLP DOI BibTeX RDF	LISP
25	Sebastian Hunt, David Sands 0001	Binding Time Analysis: A New PERspective.	PEPM	1991	DBLP DOI BibTeX RDF
25	Torben Amtoft Hansen	Properties of Unfolding-based Meta-level Systems.	PEPM	1991	DBLP DOI BibTeX RDF
25	Akihiko Takano	Generalized Partial Computation for a Lazy Functional Language.	PEPM	1991	DBLP DOI BibTeX RDF
25	R. S. Sundaresh	Building Incremental Programs using Partial Evaluation.	PEPM	1991	DBLP DOI BibTeX RDF
25	Robert Glück	Towards Multiple Self-Application.	PEPM	1991	DBLP DOI BibTeX RDF	LISP
25	John Hannan	Staging Transformations for Abstract Machines.	PEPM	1991	DBLP DOI BibTeX RDF
25	Andrew B. Baker	A Simple Solution to the Yale Shooting Problem.	KR	1989	DBLP BibTeX RDF
25	Stephen Slade	The Yale Artificial Intelligence Project: A Brief History.	AI Mag.	1987	DBLP BibTeX RDF
25	R. J. Zavodnik, M. D. Middleton	YALE: The design of yet another language-based editor.	ACM SIGPLAN Notices	1986	DBLP DOI BibTeX RDF
25	Stephen Slade	The Yale University Cognition and Programming Project.	AI Mag.	1983	DBLP BibTeX RDF
25	Natalie Dehn	NLP research at the Yale AI Project.	SIGART Newsl.	1982	DBLP DOI BibTeX RDF
25	John R. Levine	An Overview of the Yale Gem System.	Softw. Pract. Exp.	1982	DBLP DOI BibTeX RDF
25	Gregg Collins	Yale Artificial Intelligence Project.	AI Mag.	1980	DBLP BibTeX RDF
25	Robert Simpson Frew	Yale school of architecture.	DAC	1977	DBLP BibTeX RDF
25	Richard D. Jenks	Course outline: Yale University, New Haven.	SIGSAM Bull.	1975	DBLP DOI BibTeX RDF
24	Hazim Kemal Ekenel, Rainer Stiefelhagen	Generic versus Salient Region-Based Partitioning for Local Appearance Face Recognition.	ICB	2009	DBLP DOI BibTeX RDF
24	P. S. Hiremath, C. J. Prabhakar	Face Recognition Using Symbolic KPCA Plus Symbolic LDA in the Framework of Symbolic Data Analysis: Symbolic Kernel Fisher Discriminant Method.	ACIVS	2008	DBLP DOI BibTeX RDF
24	Nam Nguyen, Wanquan Liu, Svetha Venkatesh	Random Subspace Two-Dimensional PCA for Face Recognition.	PCM	2007	DBLP DOI BibTeX RDF
24	Thomas Raich	Treat them like they have laptops.	SIGUCCS	2002	DBLP DOI BibTeX RDF	network, wireless, management, support, resources, laptops
22	Claudio Szwarcfiter, Yale T. Herer	Managing the Balance Between Project Value and Net Present Value Using Reinforcement Learning.	IEEE Access	2024	DBLP DOI BibTeX RDF
22	Yale N. Patt	The CORRECT First Course in Computing for Serious Students.	Computer	2024	DBLP DOI BibTeX RDF
22	Yale Hartmann, Jonah Klöckner, Lucas Deichsel, Rinu Elizabeth Paul, Tanja Schultz	Gait Parameter Estimation from a Single Privacy Preserving Depth Sensor.	BIOSTEC (1)	2024	DBLP DOI BibTeX RDF
22	Xianpei Hong, Meiling Zhou, Yeming (Yale) Gong, Wanying Chen	Quality information disclosure and advertising strategy in a supply chain.	Int. J. Prod. Res.	2023	DBLP DOI BibTeX RDF
22	Yale Qiao, Dabin Ji, Huazhe Shang, Jian Xu 0008, Ri Xu, Chong Shi	The Fusion of ERA5 and MERRA-2 Atmospheric Temperature Profiles with Enhanced Spatial Resolution and Accuracy.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
22	Ronald W. Ditullio, Chetan Parthiban, Eugenio Piasini, Pratik Chaudhari, Vijay Balasubramanian, Yale E. Cohen	Time as a supervisor: temporal regularity and auditory object learning.	Frontiers Comput. Neurosci.	2023	DBLP DOI BibTeX RDF
22	Shraman Pramanick, Yale Song, Sayan Nag, Kevin Qinghong Lin, Hardik Shah, Mike Zheng Shou, Rama Chellappa, Pengchuan Zhang	EgoVLPv2: Egocentric Video-Language Pre-training with Fusion in the Backbone.	CoRR	2023	DBLP DOI BibTeX RDF
22	Kristen Grauman, Andrew Westbury, Lorenzo Torresani, Kris Kitani, Jitendra Malik, Triantafyllos Afouras, Kumar Ashutosh, Vijay Baiyya, Siddhant Bansal, Bikram Boote, Eugene Byrne, Zachary Chavis, Joya Chen, Feng Cheng, Fu-Jen Chu, Sean Crane, Avijit Dasgupta, Jing Dong, María Escobar, Cristhian Forigua, Abrham Gebreselasie, Sanjay Haresh, Jing Huang 0020, Md Mohaiminul Islam, Suyog Dutt Jain, Rawal Khirodkar, Devansh Kukreja, Kevin J. Liang, Jia-Wei Liu, Sagnik Majumder, Yongsen Mao, Miguel Martin, Effrosyni Mavroudi, Tushar Nagarajan, Francesco Ragusa, Santhosh Kumar Ramakrishnan, Luigi Seminara, Arjun Somayazulu, Yale Song, Shan Su, Zihui Xue, Edward Zhang, Jinxu Zhang, Angela Castillo, Changan Chen, Xinzhu Fu, Ryosuke Furuta, Cristina González, Prince Gupta, Jiabo Hu, Yifei Huang, Yiming Huang, Weslie Khoo, et al.	Ego-Exo4D: Understanding Skilled Human Activity from First- and Third-Person Perspectives.	CoRR	2023	DBLP DOI BibTeX RDF
22	Zihui Xue, Yale Song, Kristen Grauman, Lorenzo Torresani	Egocentric Video Task Translation @ Ego4D Challenge 2022.	CoRR	2023	DBLP DOI BibTeX RDF
22	Swarnadeep Majumder, Christopher G. Yale, Titus Morris, Daniel S. Lobser, Ashlyn D. Burch, Matthew N. H. Chow, Melissa C. Revelle, Susan M. Clark, Raphael C. Pooser	Characterizing and mitigating coherent errors in a trapped ion quantum processor using hidden inverses.	Quantum	2023	DBLP DOI BibTeX RDF
22	Ryan Shaffer, Hang Ren, Emiliia Dyrenkova, Christopher G. Yale, Daniel S. Lobser, Ashlyn D. Burch, Matthew N. H. Chow, Melissa C. Revelle, Susan M. Clark, Hartmut Häffner	Sample-efficient verification of continuously-parameterized quantum gates for small quantum processors.	Quantum	2023	DBLP DOI BibTeX RDF
22	Qizhi Zhang, Yale He, Ruilin Lai, Zhihao Hou, Gansen Zhao	A survey on the efficiency, reliability, and security of data query in blockchain systems.	Future Gener. Comput. Syst.	2023	DBLP DOI BibTeX RDF
22	Arpan Tripathi, Mahesh Raveendranatha Panicker, Abhilash Rakkunedeth Hareendranathan, Jacob L. Jaremko, Yale Tung Chen, Kiran Vishnu Narayan, C. Kesavadas	Unsupervised landmark detection and classification of lung infection using transporter neural networks.	Comput. Biol. Medicine	2023	DBLP DOI BibTeX RDF
22	Roshan P. Mathews, Mahesh Raveendranatha Panicker, Abhilash Rakkunedeth Hareendranathan, Yale Tung Chen, Jacob L. Jaremko, Brian Buchanan, Kiran Vishnu Narayan, Chandrasekharan Kesavadas, Greeta Mathews	Unsupervised Multi-Latent Space RL Framework for Video Summarization in Ultrasound Imaging.	IEEE J. Biomed. Health Informatics	2023	DBLP DOI BibTeX RDF
22	Claudio Szwarcfiter, Yale T. Herer, Avraham Shtub	Balancing Project Schedule, Cost, and Value under Uncertainty: A Reinforcement Learning Approach.	Algorithms	2023	DBLP DOI BibTeX RDF
22	Yale Weiss	The relevance logic of Boolean groups.	Log. J. IGPL	2023	DBLP DOI BibTeX RDF
22	Shraman Pramanick, Yale Song, Sayan Nag, Kevin Qinghong Lin, Hardik Shah, Mike Zheng Shou, Rama Chellappa, Pengchuan Zhang	EgoVLPv2: Egocentric Video-Language Pre-training with Fusion in the Backbone.	ICCV	2023	DBLP DOI BibTeX RDF
22	Osama Sam Abuomar, Rebecca Yale Gross	Using Blockchain, RAID, & BitTorrent Technologies to Secure Digital Evidence from Ransomware.	eIT	2023	DBLP DOI BibTeX RDF
22	Janaki Sheth, Jared S. Collina, Konrad P. Kording, Yale Cohen, Maria N. Geffen	The Interplay of Relevance, Sensory Uncertainty and Statistical Learning Influences Auditory Categorization.	CogSci	2023	DBLP BibTeX RDF
22	Lanqing Lai, Yale Yu, Wei Suo, Peng Wang	AHT: A Novel Aggregation Hyper-transformer for Few-Shot Object Detection.	PRCV (12)	2023	DBLP DOI BibTeX RDF
22	Zhihao Hou, Jinji Yang, Ruilin Lai, Yale He, Zefeng Mo, Gansen Zhao	Subscription-Based State Access for Cross-Chain Smart Contracts.	ICPADS	2023	DBLP DOI BibTeX RDF
22	Colin Campbell, Frederic T. Chong, Denny Dahl, Paige Frederick, Palash Goiporia, Pranav Gokhale, Benjamin P. Hall, Salahedeen Issa, Eric Jones, Stephanie Lee, Andrew Litteken, Victory Omole, David Owusu-Antwi, Michael A. Perlin, Richard Rines, Kaitlin N. Smith, Noah Goss, Akel Hashim, Ravi Naik, Ed Younis, Daniel S. Lobser, Christopher G. Yale, Benchen Huang, Ji Liu 0007	Superstaq: Deep Optimization of Quantum Programs.	QCE	2023	DBLP DOI BibTeX RDF
22	Zihui Xue, Yale Song, Kristen Grauman, Lorenzo Torresani	Egocentric Video Task Translation.	CVPR	2023	DBLP DOI BibTeX RDF
22	Yale Song, Eugene Byrne, Tushar Nagarajan, Huiyu Wang, Miguel Martin, Lorenzo Torresani	Ego4D Goal-Step: Toward Hierarchical Understanding of Procedural Activities.	NeurIPS	2023	DBLP BibTeX RDF
22	Tyler LaBonte, Yale Song, Xin Wang 0066, Vibhav Vineet, Neel Joshi	Scaling Novel Object Detection with Weakly Supervised Detection Transformers.	WACV	2023	DBLP DOI BibTeX RDF
22	Huaige Zhang, Zongjun Wang, Xianpei Hong, Yeming (Yale) Gong, Qin Zhong	Fuzzy closed-loop supply chain models with quality and marketing effort-dependent demand.	Expert Syst. Appl.	2022	DBLP DOI BibTeX RDF
22	Jung Hoon Lee, Joji Tsunada, Sujith Vijayan, Yale E. Cohen	Cortical circuit-based lossless neural integrator for perceptual decision-making: A computational modeling study.	Frontiers Comput. Neurosci.	2022	DBLP DOI BibTeX RDF
22	Duarte Folgado, Marília Barandas, Margarida Antunes, Maria Lua Nunes, Hui Liu 0035, Yale Hartmann, Tanja Schultz, Hugo Gamboa	TSSEARCH: Time Series Subsequence Search Library.	SoftwareX	2022	DBLP DOI BibTeX RDF
22	Dina Smirnov, Yale T. Herer, Assaf Avrahami	The continuous delayed distribution problem.	Comput. Oper. Res.	2022	DBLP DOI BibTeX RDF
22	Yale Wang, Chenghua Wang, Chongyan Gu, Yijun Cui, Máire O'Neill, Weiqiang Liu 0001	A Generic Dynamic Responding Mechanism and Secure Authentication Protocol for Strong PUFs.	IEEE Trans. Very Large Scale Integr. Syst.	2022	DBLP DOI BibTeX RDF
22	Aparajita Bhandari, Diana Freed, Tara Pilato, Faten Taki, Gunisha Kaur, Stephen Yale-Loehr, Jane Powers, Tao Long, Natalya N. Bazarova	Multi-stakeholder Perspectives on Digital Tools for U.S. Asylum Applicants Seeking Healthcare and Legal Information.	Proc. ACM Hum. Comput. Interact.	2022	DBLP DOI BibTeX RDF
22	Yale Wang, Chenghua Wang, Chongyan Gu, Yijun Cui, Máire O'Neill, Weiqiang Liu 0001	A Dynamically Configurable PUF and Dynamic Matching Authentication Protocol.	IEEE Trans. Emerg. Top. Comput.	2022	DBLP DOI BibTeX RDF
22	Mayu Otani, Yale Song, Yang Wang	Video Summarization Overview.	Found. Trends Comput. Graph. Vis.	2022	DBLP DOI BibTeX RDF
22	Mayu Otani, Yale Song, Yang Wang	Video Summarization Overview.	CoRR	2022	DBLP DOI BibTeX RDF
22	Jinu Joseph, Mahesh Raveendranatha Panicker, Yale Tung Chen, Kesavadas Chandrasekharan, Vimal Chacko Mondy, Anoop Ayyappan, Jineesh Valakkada, Kiran Vishnu Narayan	covEcho Resource constrained lung ultrasound image analysis tool for faster triaging and active learning.	CoRR	2022	DBLP DOI BibTeX RDF
22	Shuang Ma, Sai Vemprala, Wenshan Wang, Jayesh K. Gupta, Yale Song, Daniel McDuff, Ashish Kapoor	COMPASS: Contrastive Multimodal Pretraining for Autonomous Systems.	CoRR	2022	DBLP DOI BibTeX RDF
22	Yunhao Ge, Harkirat S. Behl, Jiashu Xu, Suriya Gunasekar, Neel Joshi, Yale Song, Xin Wang 0066, Laurent Itti, Vibhav Vineet	Neural-Sim: Learning to Generate Training Data with NeRF.	CoRR	2022	DBLP DOI BibTeX RDF
22	Baifeng Shi, Yale Song, Neel Joshi, Trevor Darrell, Xin Wang 0066	Visual Attention Emerges from Recurrent Sparse Reconstruction.	CoRR	2022	DBLP DOI BibTeX RDF
22	Tyler LaBonte, Yale Song, Xin Wang 0066, Vibhav Vineet, Neel Joshi	Scaling Novel Object Detection with Weakly Supervised Detection Transformers.	CoRR	2022	DBLP DOI BibTeX RDF
22	Zihui Xue, Yale Song, Kristen Grauman, Lorenzo Torresani	Egocentric Video Task Translation.	CoRR	2022	DBLP DOI BibTeX RDF
22	Sharath Girish, Debadeepta Dey, Neel Joshi, Vibhav Vineet, Shital Shah, Caio César Teodoro Mendes, Abhinav Shrivastava, Yale Song	One Network Doesn't Rule Them All: Moving Beyond Handcrafted Architectures in Self-Supervised Learning.	CoRR	2022	DBLP DOI BibTeX RDF
22	Gabriele Prato, Yale Song, Janarthanan Rajendran, R. Devon Hjelm, Neel Joshi, Sarath Chandar	PatchBlender: A Motion Prior for Video Transformers.	CoRR	2022	DBLP DOI BibTeX RDF
22	Ching-Yao Chuang, R. Devon Hjelm, Xin Wang 0066, Vibhav Vineet, Neel Joshi, Antonio Torralba 0001, Stefanie Jegelka, Yale Song	Robust Contrastive Learning against Noisy Views.	CoRR	2022	DBLP BibTeX RDF
22	Nathan Tardiff, Lalitta Suriya-Arunroj, Yale E. Cohen, Joshua I. Gold	Rule-based and stimulus-based cues bias auditory decisions via different computational and physiological mechanisms.	PLoS Comput. Biol.	2022	DBLP DOI BibTeX RDF
22	Yale Weiss	Semantics for Pure Theories of Connexive Implication.	Rev. Symb. Log.	2022	DBLP DOI BibTeX RDF
22	Claudio Szwarcfiter, Yale T. Herer, Avraham Shtub	Project scheduling in a lean environment to maximize value and minimize overruns.	J. Sched.	2022	DBLP DOI BibTeX RDF
22	Tung Kieu, Bin Yang 0002, Chenjuan Guo, Razvan-Gabriel Cirstea, Yan Zhao 0008, Yale Song, Christian S. Jensen	Anomaly Detection in Time Series with Robust Variational Quasi-Recurrent Autoencoders.	ICDE	2022	DBLP DOI BibTeX RDF
22	Shuang Ma, Sai Vemprala, Wenshan Wang, Jayesh K. Gupta, Yale Song, Daniel McDuff, Ashish Kapoor	COMPASS: Contrastive Multimodal Pretraining for Autonomous Systems.	IROS	2022	DBLP DOI BibTeX RDF
22	Ali Fakhrzadehgan, Yale N. Patt, Prashant J. Nair, Moinuddin K. Qureshi	SafeGuard: Reducing the Security Risk from Row-Hammer via Low-Cost Integrity Protection.	HPCA	2022	DBLP DOI BibTeX RDF
22	Hui Liu 0035, Yale Hartmann, Tanja Schultz	A Practical Wearable Sensor-based Human Activity Recognition Research Pipeline.	HEALTHINF	2022	DBLP DOI BibTeX RDF
22	Yale Hartmann, Hui Liu 0035, Tanja Schultz	High-Level Features for Human Activity Recognition and Modeling.	BIOSTEC (Selected Papers)	2022	DBLP DOI BibTeX RDF
22	Yale Hartmann, Hui Liu 0035, Steffen Lahrberg, Tanja Schultz	Interpretable High-level Features for Human Activity Recognition.	BIOSIGNALS	2022	DBLP DOI BibTeX RDF
22	Yale Hartmann, Hui Liu 0035, Tanja Schultz	Interactive and Interpretable Online Human Activity Recognition.	PerCom Workshops	2022	DBLP DOI BibTeX RDF
22	Tsu-Jui Fu, William Yang Wang, Daniel McDuff, Yale Song	DOC2PPT: Automatic Presentation Slides Generation from Scientific Documents.	AAAI	2022	DBLP DOI BibTeX RDF
22	Yale Chang, Luoluo Liu, Corneliu Antonescu	Multi-Task Prediction of Murmur and Outcome from Heart Sound Recordings.	CinC	2022	DBLP DOI BibTeX RDF
22	Daniel McDuff, Yale Song, Jiyoung Lee, Vibhav Vineet, Sai Vemprala, Nicholas Gyde, Hadi Salman, Shuang Ma, Kwanghoon Sohn, Ashish Kapoor	CausalCity: Complex Simulations with Agency for Causal Discovery and Reasoning.	CLeaR	2022	DBLP BibTeX RDF
22	Ashlyn D. Burch, Daniel S. Lobser, Christopher G. Yale, Jay W. Van Der Wall, Oliver G. Maupin, Joshua D. Goldberg, Matthew N. H. Chow, Melissa C. Revelle, Susan M. Clark	Batching Circuits to Reduce Compilation in Quantum Control Hardware.	QCE	2022	DBLP DOI BibTeX RDF
22	Ching-Yao Chuang, R. Devon Hjelm, Xin Wang 0066, Vibhav Vineet, Neel Joshi, Antonio Torralba 0001, Stefanie Jegelka, Yale Song	Robust Contrastive Learning against Noisy Views.	CVPR	2022	DBLP DOI BibTeX RDF
22	Roshan P. Mathews, Mahesh Raveendranatha Panicker, Abhilash Rakkunedeth Hareendranathan, Yale Tung Chen, Jacob L. Jaremko, Brian Buchanan, Kiran Vishnu Narayan, Kesavadas Chandrasekharan, Greeta Mathews	RL Based Unsupervised Video Summarization Framework for Ultrasound Imaging.	ASMUS@MICCAI	2022	DBLP DOI BibTeX RDF
22	Yunhao Ge, Harkirat S. Behl, Jiashu Xu, Suriya Gunasekar, Neel Joshi, Yale Song, Xin Wang 0066, Laurent Itti, Vibhav Vineet	Neural-Sim: Learning to Generate Training Data with NeRF.	ECCV (23)	2022	DBLP DOI BibTeX RDF
22	Baifeng Shi, Yale Song, Neel Joshi, Trevor Darrell, Xin Wang 0066	Visual Attention Emerges from Recurrent Sparse Reconstruction.	ICML	2022	DBLP BibTeX RDF
22	Chongyan Gu, Chip-Hong Chang, Weiqiang Liu 0001, Shichao Yu, Yale Wang, Máire O'Neill	A Modeling Attack Resistant Deception Technique for Securing Lightweight-PUF-Based Authentication.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2021	DBLP DOI BibTeX RDF
22	Yale Weiss	A Characteristic Frame for Positive Intuitionistic and Relevance Logic.	Stud Logica	2021	DBLP DOI BibTeX RDF
22	Yale Weiss	A Conservative Negation Extension of Positive Semilattice Logic Without the Finite Model Property.	Stud Logica	2021	DBLP DOI BibTeX RDF
22	Yale Weiss	A Reinterpretation of the Semilattice Semantics with Applications.	Logica Universalis	2021	DBLP DOI BibTeX RDF
22	Tsu-Jui Fu, William Yang Wang, Daniel McDuff, Yale Song	DOC2PPT: Automatic Presentation Slides Generation from Scientific Documents.	CoRR	2021	DBLP BibTeX RDF