Search results for "abstractions"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil	Quorum Tree Abstractions of Consensus Protocols.	ESOP	2023	DBLP DOI BibTeX RDF
12	Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers	Data-driven Abstractions via Adaptive Refinements and a Kantorovich Metric.	CDC	2023	DBLP DOI BibTeX RDF
12	Abolfazl Lavaei	Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy.	CDC	2023	DBLP DOI BibTeX RDF
12	Abolfazl Lavaei	MDP Abstractions from Data: Large-Scale Stochastic Networks.	CDC	2023	DBLP DOI BibTeX RDF
12	Alessandro Berti, Daniel Schuster 0001, Wil M. P. van der Aalst	Abstractions, Scenarios, and Prompt Definitions for Process Mining with LLMs: A Case Study.	Business Process Management Workshops	2023	DBLP DOI BibTeX RDF
12	Eric Rosen, Steven James, Sergio Orozco, Vedant Gupta, Max Merlin, Stefanie Tellex, George Konidaris 0001	Synthesizing Navigation Abstractions for Planning with Portable Manipulation Skills.	CoRL	2023	DBLP BibTeX RDF
12	Henrique Botelho Guerra, João F. Ferreira 0001, João Costa Seco	Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution.	ECOOP	2023	DBLP DOI BibTeX RDF
12	Marcelo Gomes Mattar, Judith E. Fan, Wai Keen Vong, Lionel Wong	How does the mind discover useful abstractions?	CogSci	2023	DBLP BibTeX RDF
12	Roberto Cipollone 0002, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi	Exploiting Multiple Abstractions in Episodic RL via Reward Shaping.	AAAI	2023	DBLP DOI BibTeX RDF
12	Matej Zecevic, Moritz Willig, Florian Peter Busch, Jonas Seng	Continual Causal Abstractions.	AAAI Bridge Program	2023	DBLP BibTeX RDF
12	Thorsten Klößner, Jendrik Seipp, Marcel Steinmetz	Cartesian Abstractions and Saturated Cost Partitioning in Probabilistic Planning.	ECAI	2023	DBLP DOI BibTeX RDF
12	Yan Liu, Ying He 0006, Zhong Ming 0001, F. Richard Yu	A Dynamic Selective Parameter Sharing Mechanism Embedded with Multi-Level Reasoning Abstractions.	ECAI	2023	DBLP DOI BibTeX RDF
12	Xiuping Cui, Size Zheng 0001, Tianyu Jia, Le Ye, Yun Liang 0001	ARES: A Mapping Framework of DNNs Towards Diverse PIMs with General Abstractions.	ICCAD	2023	DBLP DOI BibTeX RDF
12	Josselin Giet, Félix Ridoux, Xavier Rival	A Product of Shape and Sequence Abstractions.	SAS	2023	DBLP DOI BibTeX RDF
12	Fabio Massimo Zennaro, Máté Drávucz, Geanina Apachitei, Widanalage Dhammika Widanage, Theodoros Damoulas	Jointly Learning Consistent Causal Abstractions Over Multiple Interventional Distributions.	CLeaR	2023	DBLP BibTeX RDF
12	Dmitry Vengertsev, Elena Sherman	Confidence Preservation Property in Knowledge Distillation Abstractions.	SGAI Conf.	2023	DBLP DOI BibTeX RDF
12	Kelly Homan, Robert Sproull, David Smith	Organic Abstractions: An Exploration of Space Through Multiple Mediums.	Creativity & Cognition	2023	DBLP DOI BibTeX RDF
12	Pavel Surynek	Non-Refined Abstractions in Counterexample Guided Abstraction Refinement for Multi-Agent Path Finding.	ICTAI	2023	DBLP DOI BibTeX RDF
12	Vincent Kowalski, Achour Mostéfaoui, Matthieu Perrin	Atomic Register Abstractions for Byzantine-Prone Distributed Systems.	OPODIS	2023	DBLP DOI BibTeX RDF
12	Tom Beckmann, Robert Hirschfeld, Juan Pablo Sáenz, Mauricio Verano Merino (eds.)	Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments, PAINT 2023, Cascais, Portugal, 23 October 2023	PAINT@SPLASH	2023	DBLP DOI BibTeX RDF
12	Pratishtha Agnihotri, Lawrence M. Schlitt, Priyank Kalla, Steve Blair	Abstractions for Modeling the Effects of Wall Surface Roughness in Silicon Photonic Microring Resonators.	LATS	2023	DBLP DOI BibTeX RDF
12	Aratz Manterola Lasa, Sacheendra Talluri, Alexandru Iosup	A Reference Architecture for Datacenter Scheduler Programming Abstractions: Design and Experiments (Work In Progress Paper).	ICPE (Companion)	2023	DBLP DOI BibTeX RDF
12	Andi Peng, Mycal Tucker, Eoin M. Kenny, Noga Zaslavsky, Pulkit Agrawal, Julie A. Shah	Human-Guided Complexity-Controlled Abstractions.	NeurIPS	2023	DBLP BibTeX RDF
12	Duligur Ibeling, Thomas Icard	Comparing Causal Frameworks: Potential Outcomes, Structural Models, Graphs, and Abstractions.	NeurIPS	2023	DBLP BibTeX RDF
12	Michal Ajdarów, Antonín Kucera 0001	Asymptotic Complexity Estimates for Probabilistic Programs and Their VASS Abstractions.	CONCUR	2023	DBLP DOI BibTeX RDF
12	Nick Brown 0002, Maurice Jamieson, Anton Lydike, Emilien Bauer, Tobias Grosser	Fortran performance optimisation and auto-parallelisation by leveraging MLIR-based domain specific abstractions in Flang.	SC Workshops	2023	DBLP DOI BibTeX RDF
12	Daniel Gnad 0001, Silvan Sievers, Álvaro Torralba	Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases.	ICAPS	2023	DBLP DOI BibTeX RDF
12	Raphael Kreft, Clemens Büchner, Silvan Sievers, Malte Helmert	Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement.	ICAPS	2023	DBLP DOI BibTeX RDF
12	Natalie Neamtu, Haobin Ni, Robbert van Renesse	Trees and Turtles: Modular Abstractions for State Machine Replication Protocols.	PaPoC@EuroSys	2023	DBLP DOI BibTeX RDF
12	Aristeidis Mastoras, Albert-Jan Nicholas Yzelman	Studying the expressiveness and performance of parallelization abstractions for linear pipelines.	PMAM@PPoPP	2023	DBLP DOI BibTeX RDF
12	Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi	What Do Users Think About Abstractions of Ontology-Driven Conceptual Models?	RCIS	2023	DBLP DOI BibTeX RDF
12	Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers	Data-driven memory-dependent abstractions of dynamical systems.	L4DC	2023	DBLP BibTeX RDF
12	Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Constrained Horn Clauses Satisfiability via Catamorphic Abstractions.	LOPSTR	2023	DBLP DOI BibTeX RDF
12	Zhenhe Cui, Weidu Kuang, Yongmei Liu 0001	Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning.	IJCAI	2023	DBLP DOI BibTeX RDF
12	Naman Shah 0002	Reliable Neuro-Symbolic Abstractions for Planning and Learning.	IJCAI	2023	DBLP DOI BibTeX RDF
12	Tobias Pfandzelter	Serverless Abstractions for Edge Computing in Large Low-Earth Orbit Satellite Networks.	Middleware Demos/Posters/Doctoral Symposium	2023	DBLP DOI BibTeX RDF
12	Zihao Ye 0001, Ruihang Lai, Junru Shao, Tianqi Chen 0001, Luis Ceze	SparseTIR: Composable Abstractions for Sparse Compilation in Deep Learning.	ASPLOS (3)	2023	DBLP DOI BibTeX RDF
12	Michael Poli, Stefano Massaroli, Stefano Ermon, Bryan Wilder, Eric Horvitz	Ideal Abstractions for Decision-Focused Learning.	AISTATS	2023	DBLP BibTeX RDF
12	Yu Zhang	From Abstractions to Grounded Languages for Robust Coordination of Task Planning Robots.	AAMAS	2023	DBLP BibTeX RDF
12	Ryan Bernstein	Abstractions for Probabilistic Programming to Support Model Development		2023	DOI RDF
12	Julian Miller	Pattern-based abstractions for parallel programs.		2023	RDF
12	Danny M. Groenewegen	WebDSL: Linguistic Abstractions for Web Programming.		2023	RDF
12	Juhyun Bae	Distributed services with elastic container memory abstractions for big data clouds.		2023	RDF
12	Sankha Narayan Guria	Program Synthesis with Lightweight Abstractions.		2023	RDF
12	Tom Beckmann, Daniel Stachnik, Jens Lincke, Robert Hirschfeld	Visual Replacements: Cross-Language Domain-Specific Representations in Structured Editors.	PAINT@SPLASH	2023	DBLP DOI BibTeX RDF
12	Lukas Böhme, Tom Beckmann, Sebastian Baltes, Robert Hirschfeld	A Penny a Function: Towards Cost Transparent Cloud Programming.	PAINT@SPLASH	2023	DBLP DOI BibTeX RDF
12	Riemer van Rozen	Game Engine Wizardry for Programming Mischief.	PAINT@SPLASH	2023	DBLP DOI BibTeX RDF
12	Michael Homer	Branching Compositional Data Transformations in jq, Visually.	PAINT@SPLASH	2023	DBLP DOI BibTeX RDF
12	Aleandro Mifsud, Georgia Samaritaki, Ulyana Tikhonova, Jouke Stoel	Transforming an Internal Textual DSL into a Blended Modelling Environment.	PAINT@SPLASH	2023	DBLP DOI BibTeX RDF
12	Eva Krebs, Toni Mattis, Patrick Rein, Robert Hirschfeld	Toward Studying Example-Based Live Programming in CS/SE Education.	PAINT@SPLASH	2023	DBLP DOI BibTeX RDF
12	José Lopes, André Santos	PescaJ: A Projectional Editor for Java Featuring Scattered Code Aggregation.	PAINT@SPLASH	2023	DBLP DOI BibTeX RDF
12	Yoonseon Oh, Roma Patel, Thao Nguyen, Baichuan Huang, Matthew Berg, Ellie Pavlick, Stefanie Tellex	Hierarchical planning with state abstractions for temporal task specifications.	Auton. Robots	2022	DBLP DOI BibTeX RDF
12	Pulasthi Wickramasinghe, Niranda Perera, Supun Kamburugamuve, Kannan Govindarajan, Vibhatha Abeykoon, Chathura Widanage, Ahmet Uyar, Gurhan Gunduz, Selahattin Akkas, Geoffrey C. Fox	High-performance iterative dataflow abstractions in Twister2: TSet.	Concurr. Comput. Pract. Exp.	2022	DBLP DOI BibTeX RDF
12	Joon Kyung Kim, Byung Hoon Ahn, Sean Kinzer, Soroush Ghodrati, Rohan Mahapatra, Brahmendra Reddy Yatham, Shu-Ting Wang, Dohee Kim, Parisa Sarikhani, Babak Mahmoudi, Divya Mahajan 0001, Jongse Park, Hadi Esmaeilzadeh	Yin-Yang: Programming Abstractions for Cross-Domain Multi-Acceleration.	IEEE Micro	2022	DBLP DOI BibTeX RDF
12	Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró	Automated generation of consistent models using qualitative abstractions and exploration strategies.	Softw. Syst. Model.	2022	DBLP DOI BibTeX RDF
12	Amit K. Chopra	Interaction-Oriented Software Engineering: Programming abstractions for autonomy and decentralization.	AI Commun.	2022	DBLP DOI BibTeX RDF
12	Christian Kroer, Alexander Peysakhovich, Eric Sodomka, Nicolás E. Stier Moses	Computing Large Market Equilibria Using Abstractions.	Oper. Res.	2022	DBLP DOI BibTeX RDF
12	Emily Hindalong, Jordon Johnson, Giuseppe Carenini, Tamara Munzner	Abstractions for Visualizing Preferences in Group Decisions.	Proc. ACM Hum. Comput. Interact.	2022	DBLP DOI BibTeX RDF
12	Daria Onitiu	Algorithmic abstractions of 'fashion identity' and the role of privacy with regard to algorithmic personalisation systems in the fashion domain.	AI Soc.	2022	DBLP DOI BibTeX RDF
12	Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas	Learning-based symbolic abstractions for nonlinear control systems.	Autom.	2022	DBLP DOI BibTeX RDF
12	Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi 0001, Sasa Misailovic, Sayan Mitra	Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2022	DBLP DOI BibTeX RDF
12	Rubens O. Moraes, Mario A. Nascimento, Levi H. S. Lelis	Asymmetric Action Abstractions for Planning in Real-Time Strategy Games.	J. Artif. Intell. Res.	2022	DBLP DOI BibTeX RDF
12	Herbert G. Tanner, Adam Stager	Data-Driven Abstractions for Robots With Stochastic Dynamics.	IEEE Trans. Robotics	2022	DBLP DOI BibTeX RDF
12	Anand Gopalakrishnan, Kazuki Irie, Jürgen Schmidhuber, Sjoerd van Steenkiste	Unsupervised Learning of Temporal Abstractions with Slot-based Transformers.	CoRR	2022	DBLP DOI BibTeX RDF
12	Gabriel Rodriguez-Canal, Nick Brown 0002, Yuri Torres, Arturo González-Escribano	Programming abstractions for preemptive scheduling in FPGAs using partial reconfiguration.	CoRR	2022	DBLP DOI BibTeX RDF
12	Divyansh Garg, Skanda Vaidyanath, Kuno Kim, Jiaming Song, Stefano Ermon	LISA: Learning Interpretable Skill Abstractions from Language.	CoRR	2022	DBLP DOI BibTeX RDF
12	Ying Zhao 0001, Luhao Ge, Huixuan Xie, Genghuai Bai, Zhao Zhang, Qiang Wei, Yun Lin 0005, Yuchao Liu, Fangfang Zhou	ASTF: Visual Abstractions of Time-Varying Patterns in Radio Signals.	CoRR	2022	DBLP DOI BibTeX RDF
12	Hariharan Subramonyam, Jane Im, Colleen M. Seifert, Eytan Adar	Human-AI Guidelines in Practice: Leaky Abstractions as an Enabler in Collaborative Software Teams.	CoRR	2022	DBLP DOI BibTeX RDF
12	Erik Jergéus, Leo Karlsson Oinonen, Emil Carlsson, Moa Johansson	Towards Learning Abstractions via Reinforcement Learning.	CoRR	2022	DBLP DOI BibTeX RDF
12	Alessandro Ronca, Gabriel Paludo Licks, Giuseppe De Giacomo	Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes.	CoRR	2022	DBLP DOI BibTeX RDF
12	Sadek Belamfedel Alaoui, Saharsh, Pushpak Jagtap, Adnane Saoud	Compositional Approximately Bisimilar Abstractions of Interconnected Systems.	CoRR	2022	DBLP DOI BibTeX RDF
12	Jesse Mu, Victor Zhong, Roberta Raileanu, Minqi Jiang, Noah D. Goodman, Tim Rocktäschel, Edward Grefenstette	Improving Intrinsic Exploration with Language Abstractions.	CoRR	2022	DBLP BibTeX RDF
12	Sreejan Kumar, Carlos G. Correa, Ishita Dasgupta 0001, Raja Marjieh, Michael Y. Hu, Robert D. Hawkins, Nathaniel D. Daw, Jonathan D. Cohen 0003, Karthik Narasimhan, Thomas L. Griffiths 0001	Using Natural Language and Program Abstractions to Instill Human Inductive Biases in Machines.	CoRR	2022	DBLP DOI BibTeX RDF
12	David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova	babble: Learning Better Abstractions with E-Graphs and Anti-Unification.	CoRR	2022	DBLP DOI BibTeX RDF
12	Zhenhe Cui, Weidu Kuang, Yongmei Liu 0001	Automatic Verification of Sound Abstractions for Generalized Planning.	CoRR	2022	DBLP DOI BibTeX RDF
12	Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers	Data-driven memory-dependent abstractions of dynamical systems.	CoRR	2022	DBLP DOI BibTeX RDF
12	Lucas N. Egidio, Thiago Alves Lima, Raphaël M. Jungers	State-feedback Abstractions for Optimal Control of Piecewise-affine Systems.	CoRR	2022	DBLP DOI BibTeX RDF
12	Meghan Booker, Anirudha Majumdar	Switching Attention in Time-Varying Environments via Bayesian Inference of Abstractions.	CoRR	2022	DBLP DOI BibTeX RDF
12	Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani 0001	Constructing MDP Abstractions Using Data with Formal Guarantees.	CoRR	2022	DBLP DOI BibTeX RDF
12	Andrew C. Li, Zizhao Chen, Pashootan Vaezipoor, Toryn Q. Klassen, Rodrigo Toro Icarte, Sheila A. McIlraith	Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines.	CoRR	2022	DBLP DOI BibTeX RDF
12	Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.	Data-driven Abstractions for Verification of Deterministic Systems.	CoRR	2022	DBLP DOI BibTeX RDF
12	Abolfazl Lavaei, Emilio Frazzoli	Data-Driven Synthesis of Symbolic Abstractions with Guaranteed Confidence.	CoRR	2022	DBLP DOI BibTeX RDF
12	Zihao Ye 0001, Ruihang Lai, Junru Shao, Tianqi Chen 0001, Luis Ceze	SparseTIR: Composable Abstractions for Sparse Compilation in Deep Learning.	CoRR	2022	DBLP DOI BibTeX RDF
12	Mathias Louboutin, Philipp A. Witte, Ali Siahkoohi, Gabrio Rizzuti, Ziyi Yin 0002, Rafael Orozco, Felix J. Herrmann	Accelerating innovation with software abstractions for scalable computational geophysics.	CoRR	2022	DBLP DOI BibTeX RDF
12	Zhening Li, Gabriel Poesia, Omar Costilla-Reyes, Noah D. Goodman, Armando Solar-Lezama	LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions.	CoRR	2022	DBLP DOI BibTeX RDF
12	Allison C. Tam, Neil C. Rabinowitz, Andrew K. Lampinen, Nicholas A. Roy, Stephanie C. Y. Chan, DJ Strouse, Jane X. Wang, Andrea Banino, Felix Hill	Semantic Exploration from Language Abstractions and Pretrained Representations.	CoRR	2022	DBLP DOI BibTeX RDF
12	Rushang Karia, Siddharth Srivastava 0001	Relational Abstractions for Generalized Reinforcement Learning on Symbolic Problems.	CoRR	2022	DBLP DOI BibTeX RDF
12	Matej Zecevic, Moritz Willig, Jonas Seng, Florian Peter Busch	Continual Causal Abstractions.	CoRR	2022	DBLP DOI BibTeX RDF
12	Luca Carminati, Federico Cacciamani, Marco Ciccone, Nicola Gatti 0001	A Marriage between Adversarial Team Games and 2-player Games: Enabling Abstractions, No-regret Learning, and Subgame Solving.	CoRR	2022	DBLP DOI BibTeX RDF
12	Peter Belcák, Ard Kastrati, Flavio Schenker, Roger Wattenhofer	FACT: Learning Governing Abstractions Behind Integer Sequences.	CoRR	2022	DBLP DOI BibTeX RDF
12	Samuel Yang-Zhao, Tianyu Wang, Kee Siong Ng	A Direct Approximation of AIXI Using Logical State Abstractions.	CoRR	2022	DBLP DOI BibTeX RDF
12	Anshuman Mohan, Yunhe Liu 0002, Nate Foster, Tobias Kappé, Dexter Kozen	Formal Abstractions for Packet Scheduling.	CoRR	2022	DBLP DOI BibTeX RDF
12	Andrew Joohun Nam, Mengye Ren, Chelsea Finn, James L. McClelland	Learning to Reason With Relational Abstractions.	CoRR	2022	DBLP DOI BibTeX RDF
12	Daniel T. Larsson, Dipankar Maity, Panagiotis Tsiotras	A Linear Programming Approach for Resource-Aware Information-Theoretic Tree Abstractions.	CoRR	2022	DBLP DOI BibTeX RDF
12	Naman Shah 0002, Siddharth Srivastava 0001	Using Deep Learning to Bootstrap Abstractions for Hierarchical Robot Planning.	CoRR	2022	DBLP BibTeX RDF
12	Akram Erraqabi, Marlos C. Machado, Mingde Zhao, Sainbayar Sukhbaatar, Alessandro Lazaric, Ludovic Denoyer, Yoshua Bengio	Temporal Abstractions-Augmented Temporally Contrastive Learning: An Alternative to the Laplacian in RL.	CoRR	2022	DBLP DOI BibTeX RDF
12	Edoardo Manino, Iury Bessa, Lucas C. Cordeiro	Towards Global Neural Network Abstractions with Locally-Exact Reconstruction.	CoRR	2022	DBLP DOI BibTeX RDF
12	Tom Silver, Rohan Chitnis, Nishanth Kumar, Willie McClinton, Tomás Lozano-Pérez, Leslie Pack Kaelbling, Joshua B. Tenenbaum	Inventing Relational State and Action Abstractions for Effective and Efficient Bilevel Planning.	CoRR	2022	DBLP DOI BibTeX RDF
12	Andrea Peruffo, Manuel Mazo Jr.	Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems.	CoRR	2022	DBLP DOI BibTeX RDF
12	Dilini Samarasinghe, Michael Barlow, Erandi Lakshika, Kathryn Kasmarik	Grammar-based autonomous discovery of abstractions for evolution of complex multi-agent behaviours.	Swarm Evol. Comput.	2022	DBLP DOI BibTeX RDF