|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3119 occurrences of 1737 keywords
|
|
|
Results
Found 4274 publication records. Showing 4274 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|
|
|