Search results for "abstractions"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Nishanth Kumar, Michael Fishman 0001, Natasha Danas, Michael Littman 0002, Stefanie Tellex, George Konidaris 0001	Task Scoping: Building Goal-Specific Abstractions for Planning in Complex Domains.	CoRR	2020	DBLP BibTeX RDF
12	Mathias Louboutin, Fabio Luporini, Philipp A. Witte, Rhodri Nelson, George Bisbas, Jan Thorbecke, Felix J. Herrmann, Gerard Gorman	Scaling through abstractions - high-performance vectorial wave simulations for seismic inversion with Devito.	CoRR	2020	DBLP BibTeX RDF
12	Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas	Learning-based Safe Symbolic Abstractions for Nonlinear Control Systems.	CoRR	2020	DBLP BibTeX RDF
12	Hussein Sibai, Sayan Mitra	Symmetry Abstractions for Hybrid Systems and their Applications.	CoRR	2020	DBLP BibTeX RDF
12	Aseem Behl, Kashyap Chitta, Aditya Prakash 0001, Eshed Ohn-Bar, Andreas Geiger 0001	Label Efficient Visual Abstractions for Autonomous Driving.	CoRR	2020	DBLP BibTeX RDF
12	Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee 0001, Germán Andrés Delbianco, Ignacio Fábregas	On Algebraic Abstractions for Concurrent Separation Logics.	CoRR	2020	DBLP BibTeX RDF
12	Kavosh Asadi, David Abel, Michael Littman 0002	Learning State Abstractions for Transfer in Continuous Control.	CoRR	2020	DBLP BibTeX RDF
12	Rajeev Muralidhar, Renata Borovica-Gajic, Rajkumar Buyya	Energy Efficient Computing Systems: Architectures, Abstractions and Modeling to Techniques and Standards.	CoRR	2020	DBLP BibTeX RDF
12	Md Motiur Rahman Sagar, Martin Dyrba	Learning Shape Features and Abstractions in 3D Convolutional Neural Networks for Detecting Alzheimer's Disease.	CoRR	2020	DBLP BibTeX RDF
12	Alex Andonian, Camilo Fosco, Mathew Monfort, Allen Lee, Rogério Feris, Carl Vondrick, Aude Oliva	We Have So Much In Common: Modeling Semantic Relational Set Abstractions in Videos.	CoRR	2020	DBLP BibTeX RDF
12	Giannis Delimpaltadakis, Manuel Mazo Jr.	Traffic Abstractions of Nonlinear Event-Triggered Control Systems with Disturbances and Uncertainties.	CoRR	2020	DBLP BibTeX RDF
12	Wei Ren 0004, Dimos V. Dimarogonas	Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems.	CoRR	2020	DBLP BibTeX RDF
12	Yulin Zhang 0001, Dylan A. Shell	Abstractions for computing all robotic sensors that suffice to solve a planning problem.	CoRR	2020	DBLP BibTeX RDF
12	Tatjana Petrov, Denis Repin	Automated Deep Abstractions for Stochastic Chemical Reaction Networks.	CoRR	2020	DBLP BibTeX RDF
12	Giannis Delimpaltadakis, Manuel Mazo Jr.	Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems.	CoRR	2020	DBLP BibTeX RDF
12	Wei Ren 0004, Dimos V. Dimarogonas	Dynamic Quantization based Symbolic Abstractions for Nonlinear Control Systems.	CoRR	2020	DBLP BibTeX RDF
12	Hussein Sibai, Yangge Li, Sayan Mitra	SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification.	CoRR	2020	DBLP BibTeX RDF
12	Siyuan Liu, Majid Zamani 0001	Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems.	CoRR	2020	DBLP BibTeX RDF
12	Maurice Jamieson, Nick Brown 0002	High level programming abstractions for leveraging hierarchical memories with micro-core architectures.	CoRR	2020	DBLP BibTeX RDF
12	Tom Yan, Christian Kroer, Alexander Peysakhovich	Evaluating and Rewarding Teamwork Using Cooperative Game Abstractions.	CoRR	2020	DBLP BibTeX RDF
12	Eric Koskinen, Kshitij Bansal	Reducing Commutativity Verification to Reachability with Differencing Abstractions.	CoRR	2020	DBLP BibTeX RDF
12	Wei Ren 0004, Dimos V. Dimarogonas	Symbolic Abstractions for Nonlinear Control Systems via Feedback Refinement Relation.	CoRR	2020	DBLP BibTeX RDF
12	Yunong Shi, Pranav Gokhale, Prakash Murali, Jonathan M. Baker, Casey Duckering, Yongshan Ding 0001, Natalie C. Brown, Christopher Chamberland, Ali Javadi-Abhari, Andrew W. Cross, David I. Schuster, Kenneth R. Brown, Margaret Martonosi, Frederic T. Chong	Resource-Efficient Quantum Computing by Breaking Abstractions.	CoRR	2020	DBLP BibTeX RDF
12	Susan Hohenberger, Brent Waters	New Methods and Abstractions for RSA-Based Forward Secure Signatures.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
12	Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah	Toward higher-level abstractions based on state machine for cloud resources elasticity.	Inf. Syst.	2020	DBLP DOI BibTeX RDF
12	Yunong Shi, Pranav Gokhale, Prakash Murali, Jonathan M. Baker, Casey Duckering, Yongshan Ding 0001, Natalie C. Brown, Christopher Chamberland, Ali Javadi-Abhari, Andrew W. Cross, David I. Schuster, Kenneth R. Brown, Margaret Martonosi, Frederic T. Chong	Resource-Efficient Quantum Computing by Breaking Abstractions.	Proc. IEEE	2020	DBLP DOI BibTeX RDF
12	Asad Ullah Awan, Majid Zamani 0001	From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems.	IEEE Trans. Control. Netw. Syst.	2020	DBLP DOI BibTeX RDF
12	Yunjun Bai, Kaushik Mallik	Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances.	ICFEM	2020	DBLP DOI BibTeX RDF
12	Yulin Zhang 0001, Dylan A. Shell	Abstractions for computing all robotic sensors that suffice to solve a planning problem.	ICRA	2020	DBLP DOI BibTeX RDF
12	Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux	Programming microcontrollers through high-level abstractions.	VMIL@SPLASH	2020	DBLP DOI BibTeX RDF
12	Aseem Behl, Kashyap Chitta, Aditya Prakash 0001, Eshed Ohn-Bar, Andreas Geiger 0001	Label Efficient Visual Abstractions for Autonomous Driving.	IROS	2020	DBLP DOI BibTeX RDF
12	Samuel Dewan, Paulo Garcia	Programming Abstractions for Configurable Hardware: Survey and Research Directions.	FPGA	2020	DBLP DOI BibTeX RDF
12	Alifah Syamsiyah, Sander J. J. Leemans	Process discovery using in-database minimum self distance abstractions.	SAC	2020	DBLP DOI BibTeX RDF
12	Denis Repin, Nhat-Huy Phung, Tatjana Petrov	StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks.	QEST	2020	DBLP DOI BibTeX RDF
12	Omar Inverso, Catia Trubiani, Emilio Tuosto	Abstractions for Collective Adaptive Systems.	ISoLA (2)	2020	DBLP DOI BibTeX RDF
12	Nicolás Cardozo, Ivana Dusparic	Language Abstractions and Techniques for Developing Collective Adaptive Systems Using Context-oriented Programming.	ACSOS Companion	2020	DBLP DOI BibTeX RDF
12	Sebastian Hunt, David Sands 0001	New Program Abstractions for Privacy.	From Lambda Calculus to Cybersecurity Through Program Analysis	2020	DBLP DOI BibTeX RDF
12	Aida Rashidinejad, Patrick van der Graaf, Michel A. Reniers	Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events.	ICARCV	2020	DBLP DOI BibTeX RDF
12	Wei Ren 0004, Dimos V. Dimarogonas	Symbolic Abstractions for Periodic Event-triggered Linear Control Systems.	ECC	2020	DBLP BibTeX RDF
12	Sian Jin, Sumit Roy 0001, Weihua Jiang, Thomas R. Henderson	Efficient Abstractions for Implementing TGn Channel and OFDM-MIMO Links in ns-3.	WNS3	2020	DBLP DOI BibTeX RDF
12	Susan Hohenberger, Brent Waters	New Methods and Abstractions for RSA-Based Forward Secure Signatures.	ACNS (1)	2020	DBLP DOI BibTeX RDF
12	Mobin Shahamat, Javad Askari, Abdalla Swikir, Navid Noroozi, Majid Zamani 0001	Construction of continuous abstractions for discrete-time time-delay systems.	CDC	2020	DBLP DOI BibTeX RDF
12	Maryam Sharifi, Abdalla Swikir, Navid Noroozi, Majid Zamani 0001	Compositional Construction of Abstractions for Infinite Networks of Switched Systems.	CDC	2020	DBLP DOI BibTeX RDF
12	Giannis Delimpaltadakis, Manuel Mazo Jr.	Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems.	CDC	2020	DBLP DOI BibTeX RDF
12	Rohan Chitnis, Tom Silver, Beomjoon Kim, Leslie Pack Kaelbling, Tomás Lozano-Pérez	CAMPs: Learning Context-Specific Abstractions for Efficient Planning in Factored MDPs.	CoRL	2020	DBLP BibTeX RDF
12	André Luckow, Shantenu Jha	Methods and Experiences for Developing Abstractions for Data-intensive, Scientific Applications.	IPDPS Workshops	2020	DBLP DOI BibTeX RDF
12	Federico Flaviani, Elias Tahhan-Bittar	Criteria for Bracket Abstractions Design.	CLEI Selected Papers	2020	DBLP DOI BibTeX RDF
12	Rogelio E. Cardona-Rivera	Foundations of a Computational Science of Game Design: Abstractions and Tradeoffs.	AIIDE	2020	DBLP BibTeX RDF
12	Adam Granicz, Jozsef Uri, Andras Janko	Synthesizing user interfaces using functional reactive web abstractions.	Programming	2020	DBLP DOI BibTeX RDF
12	Amy Voss Farris, Amanda Dickes, Pratim Sengupta	Grounding Computational Abstractions in Scientific Experience.	ICLS	2020	DBLP BibTeX RDF
12	Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele	Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution).	TACAS (2)	2020	DBLP DOI BibTeX RDF
12	Dario Korolija, Timothy Roscoe, Gustavo Alonso	Do OS abstractions make sense on FPGAs?	OSDI	2020	DBLP BibTeX RDF
12	Lior Zeno, Dan R. K. Ports, Jacob Nelson 0001, Mark Silberstein	SwiShmem: Distributed Shared State Abstractions for Programmable Switches.	HotNets	2020	DBLP DOI BibTeX RDF
12	Dimitrios Vytiniotis	Declarative abstractions for tensor program partitioning.	PPDP	2020	DBLP DOI BibTeX RDF
12	Tom Yan, Christian Kroer, Alexander Peysakhovich	Evaluating and Rewarding Teamwork Using Cooperative Game Abstractions.	NeurIPS	2020	DBLP BibTeX RDF
12	Gianluca Cima, Maurizio Lenzerini, Antonella Poggi	Non-Monotonic Ontology-based Abstractions of Data Services.	KR	2020	DBLP DOI BibTeX RDF
12	Alex Lamb, Sherjil Ozair, Vikas Verma, David Ha	SketchTransfer: A Challenging New Task for Exploring Detail-Invariance and the Abstractions Learned by Deep Networks.	WACV	2020	DBLP DOI BibTeX RDF
12	Alex Andonian, Camilo Fosco, Mathew Monfort, Allen Lee, Rogério Feris, Carl Vondrick, Aude Oliva	We Have So Much in Common: Modeling Semantic Relational Set Abstractions in Videos.	ECCV (18)	2020	DBLP DOI BibTeX RDF
12	Connor Imes, Alexei Colin, Naifeng Zhang, Ajitesh Srivastava, Viktor K. Prasanna, John Paul Walters	Compiler Abstractions and Runtime for Extreme-scale SAR and CFD Workloads.	ESPM2@SC	2020	DBLP DOI BibTeX RDF
12	Wytse Oortwijn, Dilian Gurov, Marieke Huisman	Practical Abstractions for Automated Verification of Shared-Memory Concurrency.	VMCAI	2020	DBLP DOI BibTeX RDF
12	Sarath Sreedharan, Siddharth Srivastava 0001, Subbarao Kambhampati	TLdR: Policy Summarization for Factored SSP Problems Using Temporal Abstractions.	ICAPS	2020	DBLP BibTeX RDF
12	Yue Zhan, Michael S. Hsiao	Breaking Down High-Level Robot Path-Finding Abstractions in Natural Language Programming.	AI*IA	2020	DBLP DOI BibTeX RDF
12	Yue Zhan, Michael S. Hsiao	Breaking Down High-level Robot Path-Finding Abstractions in Natural Language Programming.	NL4AI@AI*IA	2020	DBLP BibTeX RDF
12	Jirí Cermák, Viliam Lisý, Branislav Bosanský	Automated Construction of Bounded-Loss Imperfect-Recall Abstractions in Extensive-Form Games (Extended Abstract). (Journal track)	IJCAI	2020	DBLP DOI BibTeX RDF
12	Carson Hanel, Arif Arman, Di Xiao 0003, John Keech, Dmitri Loguinov	Vortex: Extreme-Performance Memory Abstractions for Data-Intensive Streaming Applications.	ASPLOS	2020	DBLP DOI BibTeX RDF
12	David Abel, Nate Umbanhowar, Khimya Khetarpal, Dilip Arumugam, Doina Precup, Michael L. Littman	Value Preserving State-Action Abstractions.	AISTATS	2020	DBLP BibTeX RDF
12	Anna Becchi, Alessandro Cimatti, Enea Zaffanella	Synthesis of P-Stable Abstractions.	SEFM	2020	DBLP DOI BibTeX RDF
12	Kevin Angstadt	Improving Programming Support for Hardware Accelerators Through Automata Processing Abstractions.		2020	RDF
12	Riley Spahn	New Data Protection Abstractions for Emerging Mobile and Big Data Workloads.		2020	DOI RDF
12	Dimitrios Skarlatos 0002	Rethinking computer architecture and operating system abstractions for good & evil		2020	RDF
12	Rohan Padhye	Abstractions and Algorithms for Specializing Dynamic Program Analysis and Random Fuzz Testing.		2020	RDF
12	Simon Garcia De Gonzalo	Techniques for enabling GPU code generation of low-level optimizations and dynamic parallelism from high-level abstractions		2020	RDF
12	Alexander Matz	Exploiting BSP Abstractions for Compiler Based Optimizations of GPU Applications on multi-GPU Systems.		2020	RDF
12	James Litton	Composing and Decomposing OS Abstractions.		2020	RDF
12	Martin Hirzel, Guillaume Baudart	Stream Processing Languages and Abstractions.	Encyclopedia of Big Data Technologies	2019	DBLP DOI BibTeX RDF
12	Aditya Kanade	Chapter Seven - Event-Based Concurrency: Applications, Abstractions, and Analyses.	Adv. Comput.	2019	DBLP DOI BibTeX RDF
12	Abhishek Dubey, Gabor Karsai, Péter Völgyesi, Mary Metelko, István Madari, Hao Tu, Yuhua Du, Srdjan M. Lukic	Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid.	IEEE Embed. Syst. Lett.	2019	DBLP DOI BibTeX RDF
12	Bui Thi Mai Anh, Nick Papoulias, Serge Stinckwich, Mikal Ziane, Benjamin Roche	The Kendrick modelling platform: language abstractions and tools for epidemiology.	BMC Bioinform.	2019	DBLP DOI BibTeX RDF
12	Bui Thi Mai Anh, Nick Papoulias, Serge Stinckwich, Mikal Ziane, Benjamin Roche	Correction to: The Kendrick modelling platform: language abstractions and tools for epidemiology.	BMC Bioinform.	2019	DBLP DOI BibTeX RDF
12	Spandana Rachamalla, Shashidhar Reddy, Arun Joseph	Heterogeneity aware power abstractions for dynamic power dominated FinFET-based microprocessors.	IET Comput. Digit. Tech.	2019	DBLP DOI BibTeX RDF
12	Dimitris Boskos, Dimos V. Dimarogonas	Decentralized abstractions for multi-agent systems under coupled constraints.	Eur. J. Control	2019	DBLP DOI BibTeX RDF
12	Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker 0001	Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming.	Comput. Commun. Rev.	2019	DBLP DOI BibTeX RDF
12	Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani, Rupak Majumdar	Compositional Synthesis of Finite-State Abstractions.	IEEE Trans. Autom. Control.	2019	DBLP DOI BibTeX RDF
12	Markus Friedrich 0001, Felip Guimerà Cuevas, Andreas Sedlmeier, André Ebert	Evolutionary Generation of Primitive-Based Mesh Abstractions.	J. WSCG	2019	DBLP DOI BibTeX RDF
12	Abdalla Swikir, Majid Zamani 0001	Compositional synthesis of finite abstractions for networks of systems: A small-gain approach.	Autom.	2019	DBLP DOI BibTeX RDF
12	Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001	Compositional construction of infinite abstractions for networks of stochastic control systems.	Autom.	2019	DBLP DOI BibTeX RDF
12	Russ Abbott	The Bit (and Three Other Abstractions) Define the Borderline Between Hardware and Software.	Minds Mach.	2019	DBLP DOI BibTeX RDF
12	Alex Lamb, Sherjil Ozair, Vikas Verma, David Ha	SketchTransfer: A Challenging New Task for Exploring Detail-Invariance and the Abstractions Learned by Deep Networks.	CoRR	2019	DBLP BibTeX RDF
12	Lucca Hirschi	Symbolic Abstractions for Quantum Protocol Verification.	CoRR	2019	DBLP BibTeX RDF
12	Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate	Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions.	CoRR	2019	DBLP BibTeX RDF
12	Maximilian Gaukler, Tim Rheinfels, Peter Ulbrich, Günter Roppenecker	Convergence Rate Abstractions for Weakly-Hard Real-Time Control.	CoRR	2019	DBLP BibTeX RDF
12	Yu Zhang 0064, Li Wang 0026	From Abstractions to "Natural Languages" for Planning Agents.	CoRR	2019	DBLP BibTeX RDF
12	Daniel T. Larsson, Dipankar Maity, Panagiotis Tsiotras	Q-Search Trees: An Information-Theoretic Approach Towards Hierarchical Abstractions for Agents with Computational Limitations.	CoRR	2019	DBLP BibTeX RDF
12	Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin	Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints.	CoRR	2019	DBLP BibTeX RDF
12	Nandita Vijaykumar	Enhancing Programmability, Portability, and Performance with Rich Cross-Layer Abstractions.	CoRR	2019	DBLP BibTeX RDF
12	Blai Bonet, Raquel Fuentetaja 0001, Yolanda E-Martín, Daniel Borrajo	Guarantees for Sound Abstractions for Generalized Planning (Extended Paper).	CoRR	2019	DBLP BibTeX RDF
12	Tengfei Ma 0001, Jie Chen 0007	Unsupervised Learning of Graph Hierarchical Abstractions with Differentiable Coarsening and Optimal Transport.	CoRR	2019	DBLP BibTeX RDF
12	Harm H. M. Weerts, Jonas Linder, Martin Enqvist, Paul M. J. Van den Hof	Abstractions of linear dynamic networks for input selection in local module identification.	CoRR	2019	DBLP BibTeX RDF
12	Pierre Ganty, Francesco Ranzato, Pedro Valero 0001	Complete Abstractions for Checking Language Inclusion.	CoRR	2019	DBLP BibTeX RDF
12	Gregor Daiß, Parsa Amini, John Biddiscombe, Patrick Diehl, Juhan Frank, Kevin A. Huck, Hartmut Kaiser, Dominic Marcello, David Pfander, Dirk Pflüger	From Piz Daint to the Stars: Simulation of Stellar Mergers using High-Level Abstractions.	CoRR	2019	DBLP BibTeX RDF