|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.08869, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.10519, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.01879, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Hussein Sibai, Sayan Mitra |
Symmetry Abstractions for Hybrid Systems and their Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.09485, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.10091, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.12686, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Kavosh Asadi, David Abel, Michael Littman 0002 |
Learning State Abstractions for Transfer in Continuous Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.05518, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Rajeev Muralidhar, Renata Borovica-Gajic, Rajkumar Buyya |
Energy Efficient Computing Systems: Architectures, Abstractions and Modeling to Techniques and Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.09976, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.05023, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.05596, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Giannis Delimpaltadakis, Manuel Mazo Jr. |
Traffic Abstractions of Nonlinear Event-Triggered Control Systems with Disturbances and Uncertainties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.12341, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Wei Ren 0004, Dimos V. Dimarogonas |
Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.12811, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Yulin Zhang 0001, Dylan A. Shell |
Abstractions for computing all robotic sensors that suffice to solve a planning problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.10994, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Tatjana Petrov, Denis Repin |
Automated Deep Abstractions for Stochastic Chemical Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.01889, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Giannis Delimpaltadakis, Manuel Mazo Jr. |
Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.09361, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Wei Ren 0004, Dimos V. Dimarogonas |
Dynamic Quantization based Symbolic Abstractions for Nonlinear Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.12816, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Hussein Sibai, Yangge Li, Sayan Mitra |
SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.10713, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Siyuan Liu, Majid Zamani 0001 |
Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.00131, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Maurice Jamieson, Nick Brown 0002 |
High level programming abstractions for leveraging hierarchical memories with micro-core architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.01548, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Tom Yan, Christian Kroer, Alexander Peysakhovich |
Evaluating and Rewarding Teamwork Using Cooperative Game Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.09538, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Eric Koskinen, Kshitij Bansal |
Reducing Commutativity Verification to Reachability with Differencing Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.08450, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Wei Ren 0004, Dimos V. Dimarogonas |
Symbolic Abstractions for Nonlinear Control Systems via Feedback Refinement Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.12824, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.00028, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Susan Hohenberger, Brent Waters |
New Methods and Abstractions for RSA-Based Forward Secure Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2020, pp. 874, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 90, pp. 101450, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 108(8), pp. 1353-1370, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Asad Ullah Awan, Majid Zamani 0001 |
From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Netw. Syst. ![In: IEEE Trans. Control. Netw. Syst. 7(1), pp. 433-445, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Yunjun Bai, Kaushik Mallik |
Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings, pp. 297-307, 2020, Springer, 978-3-030-63405-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2020 IEEE International Conference on Robotics and Automation, ICRA 2020, Paris, France, May 31 - August 31, 2020, pp. 8469-8475, 2020, IEEE, 978-1-7281-7395-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux |
Programming microcontrollers through high-level abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMIL@SPLASH ![In: VMIL@SPLASH 2020: Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, Virtual Event, USA, November 17, 2020, pp. 5-14, 2020, ACM, 978-1-4503-8190-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021, pp. 2338-2345, 2020, IEEE, 978-1-7281-6212-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Samuel Dewan, Paulo Garcia |
Programming Abstractions for Configurable Hardware: Survey and Research Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: FPGA '20: The 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, Seaside, CA, USA, February 23-25, 2020, pp. 310, 2020, ACM, 978-1-4503-7099-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Alifah Syamsiyah, Sander J. J. Leemans |
Process discovery using in-database minimum self distance abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020, pp. 26-35, 2020, ACM, 978-1-4503-6866-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Denis Repin, Nhat-Huy Phung, Tatjana Petrov |
StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings, pp. 27-32, 2020, Springer, 978-3-030-59853-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Omar Inverso, Catia Trubiani, Emilio Tuosto |
Abstractions for Collective Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II, pp. 243-260, 2020, Springer, 978-3-030-61469-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Nicolás Cardozo, Ivana Dusparic |
Language Abstractions and Techniques for Developing Collective Adaptive Systems Using Context-oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSOS Companion ![In: 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020, Companion Volume, Washington, DC, USA, August 17-21, 2020, pp. 133-138, 2020, IEEE, 978-1-7281-8414-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Sebastian Hunt, David Sands 0001 |
New Program Abstractions for Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Lambda Calculus to Cybersecurity Through Program Analysis ![In: From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement, pp. 256-267, 2020, Springer, 978-3-030-41102-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 16th International Conference on Control, Automation, Robotics and Vision, ICARCV 2020, Shenzhen, China, December 13-15, 2020, pp. 1033-1040, 2020, IEEE, 978-1-7281-7709-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Wei Ren 0004, Dimos V. Dimarogonas |
Symbolic Abstractions for Periodic Event-triggered Linear Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 18th European Control Conference, ECC 2020, Virtual Event, Russia, May 12-15, 2020, pp. 2062-2067, 2020, IEEE, 978-3-90714-402-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WNS3 ![In: Proceedings of the 2020 Workshop on ns-3, WNS3 2020, Gaithersburg, MD, USA, June 17-18, 2020, pp. 33-40, 2020, ACM, 978-1-4503-7537-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Susan Hohenberger, Brent Waters |
New Methods and Abstractions for RSA-Based Forward Secure Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS (1) ![In: Applied Cryptography and Network Security - 18th International Conference, ACNS 2020, Rome, Italy, October 19-22, 2020, Proceedings, Part I, pp. 292-312, 2020, Springer, 978-3-030-57807-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020, pp. 881-886, 2020, IEEE, 978-1-7281-7447-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020, pp. 476-481, 2020, IEEE, 978-1-7281-7447-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Giannis Delimpaltadakis, Manuel Mazo Jr. |
Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020, pp. 4991-4998, 2020, IEEE, 978-1-7281-7447-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRL ![In: 4th Conference on Robot Learning, CoRL 2020, 16-18 November 2020, Virtual Event / Cambridge, MA, USA, pp. 64-79, 2020, PMLR. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | André Luckow, Shantenu Jha |
Methods and Experiences for Developing Abstractions for Data-intensive, Scientific Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: 2020 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2020, New Orleans, LA, USA, May 18-22, 2020, pp. 636-645, 2020, IEEE, 978-1-7281-7445-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Federico Flaviani, Elias Tahhan-Bittar |
Criteria for Bracket Abstractions Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI Selected Papers ![In: XLV Latin American Computer Conference - Selected Papers, CLEI 2019 Selected Papers, Panama, September 30 - October 4, 2019, pp. 25-48, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Rogelio E. Cardona-Rivera |
Foundations of a Computational Science of Game Design: Abstractions and Tradeoffs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIIDE ![In: Proceedings of the Sixteenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2020, virtual, October 19-23, 2020, pp. 167-174, 2020, AAAI Press, 978-1-57735-849-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Adam Granicz, Jozsef Uri, Andras Janko |
Synthesizing user interfaces using functional reactive web abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming ![In: Programming'20: 4th International Conference on the Art, Science, and Engineering of Programming, Porto, Portugal, March 23-26, 2020, pp. 84-89, 2020, ACM, 978-1-4503-7507-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Amy Voss Farris, Amanda Dickes, Pratim Sengupta |
Grounding Computational Abstractions in Scientific Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLS ![In: Interdisciplinarity in the Learning Sciences: Proceedings of the 14th International Conference of the Learning Sciences, ICLS 2020, [Nashville, Tennessee, USA], Online Conference, June 19-23, 2020, 2020, International Society of the Learning Sciences. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II, pp. 418-422, 2020, Springer, 978-3-030-45236-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Dario Korolija, Timothy Roscoe, Gustavo Alonso |
Do OS abstractions make sense on FPGAs? ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6, 2020., pp. 991-1010, 2020, USENIX Association, 978-1-939133-19-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Lior Zeno, Dan R. K. Ports, Jacob Nelson 0001, Mark Silberstein |
SwiShmem: Distributed Shared State Abstractions for Programmable Switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotNets ![In: HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, Virtual Event, USA, November 4-6, 2020, pp. 160-167, 2020, ACM, 978-1-4503-8145-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Dimitrios Vytiniotis |
Declarative abstractions for tensor program partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, Bologna, Italy, 9-10 September, 2020, pp. 3:1, 2020, ACM, 978-1-4503-8821-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Tom Yan, Christian Kroer, Alexander Peysakhovich |
Evaluating and Rewarding Teamwork Using Cooperative Game Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual., 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Gianluca Cima, Maurizio Lenzerini, Antonella Poggi |
Non-Monotonic Ontology-based Abstractions of Data Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 243-252, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACV ![In: IEEE Winter Conference on Applications of Computer Vision, WACV 2020, Snowmass Village, CO, USA, March 1-5, 2020, pp. 952-961, 2020, IEEE, 978-1-7281-6553-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (18) ![In: Computer Vision - ECCV 2020 - 16th European Conference, Glasgow, UK, August 23-28, 2020, Proceedings, Part XVIII, pp. 18-34, 2020, Springer, 978-3-030-58522-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESPM2@SC ![In: 5th IEEE/ACM International Workshop on Extreme Scale Programming Models and Middleware, ESPM2@SC 2020, Atlanta, GA, USA, November 11, 2020, pp. 1-7, 2020, IEEE, 978-1-6654-2284-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Wytse Oortwijn, Dilian Gurov, Marieke Huisman |
Practical Abstractions for Automated Verification of Shared-Memory Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings, pp. 401-425, 2020, Springer, 978-3-030-39321-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Sarath Sreedharan, Siddharth Srivastava 0001, Subbarao Kambhampati |
TLdR: Policy Summarization for Factored SSP Problems Using Temporal Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020, pp. 272-280, 2020, AAAI Press, 978-1-57735-824-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Yue Zhan, Michael S. Hsiao |
Breaking Down High-Level Robot Path-Finding Abstractions in Natural Language Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AIxIA 2020 - Advances in Artificial Intelligence - XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25-27, 2020, Revised Selected Papers, pp. 280-297, 2020, Springer, 978-3-030-77090-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Yue Zhan, Michael S. Hsiao |
Breaking Down High-level Robot Path-Finding Abstractions in Natural Language Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NL4AI@AI*IA ![In: Proceedings of the 4th Workshop on Natural Language for Artificial Intelligence (NL4AI 2020) co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2020), Anywhere, November 25th-27th, 2020., pp. 59-72, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pp. 5030-5034, 2020, ijcai.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, March 16-20, 2020., pp. 623-638, 2020, ACM, 978-1-4503-7102-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | David Abel, Nate Umbanhowar, Khimya Khetarpal, Dilip Arumugam, Doina Precup, Michael L. Littman |
Value Preserving State-Action Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISTATS ![In: The 23rd International Conference on Artificial Intelligence and Statistics, AISTATS 2020, 26-28 August 2020, Online [Palermo, Sicily, Italy], pp. 1639-1650, 2020, PMLR. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Anna Becchi, Alessandro Cimatti, Enea Zaffanella |
Synthesis of P-Stable Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings, pp. 214-230, 2020, Springer, 978-3-030-58767-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Kevin Angstadt |
Improving Programming Support for Hardware Accelerators Through Automata Processing Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
12 | Riley Spahn |
New Data Protection Abstractions for Emerging Mobile and Big Data Workloads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
DOI RDF |
|
12 | Dimitrios Skarlatos 0002 |
Rethinking computer architecture and operating system abstractions for good & evil ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
12 | Rohan Padhye |
Abstractions and Algorithms for Specializing Dynamic Program Analysis and Random Fuzz Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
12 | Simon Garcia De Gonzalo |
Techniques for enabling GPU code generation of low-level optimizations and dynamic parallelism from high-level abstractions ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
12 | Alexander Matz |
Exploiting BSP Abstractions for Compiler Based Optimizations of GPU Applications on multi-GPU Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
12 | James Litton |
Composing and Decomposing OS Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
12 | Martin Hirzel, Guillaume Baudart |
Stream Processing Languages and Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Big Data Technologies ![In: Encyclopedia of Big Data Technologies., 2019, Springer, 978-3-319-63962-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Aditya Kanade |
Chapter Seven - Event-Based Concurrency: Applications, Abstractions, and Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. ![In: Adv. Comput. 112, pp. 379-412, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Embed. Syst. Lett. ![In: IEEE Embed. Syst. Lett. 11(2), pp. 34-37, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 20(1), pp. 312:1-312:13, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 20(1), pp. 439:1-439:2, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Spandana Rachamalla, Shashidhar Reddy, Arun Joseph |
Heterogeneity aware power abstractions for dynamic power dominated FinFET-based microprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Comput. Digit. Tech. ![In: IET Comput. Digit. Tech. 13(6), pp. 524-531, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Dimitris Boskos, Dimos V. Dimarogonas |
Decentralized abstractions for multi-agent systems under coupled constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Control ![In: Eur. J. Control 45, pp. 1-16, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 49(5), pp. 104-106, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani, Rupak Majumdar |
Compositional Synthesis of Finite-State Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 64(6), pp. 2629-2636, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Markus Friedrich 0001, Felip Guimerà Cuevas, Andreas Sedlmeier, André Ebert |
Evolutionary Generation of Primitive-Based Mesh Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. WSCG ![In: J. WSCG 27(1), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Abdalla Swikir, Majid Zamani 0001 |
Compositional synthesis of finite abstractions for networks of systems: A small-gain approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 107, pp. 551-561, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001 |
Compositional construction of infinite abstractions for networks of stochastic control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 107, pp. 125-137, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Russ Abbott |
The Bit (and Three Other Abstractions) Define the Borderline Between Hardware and Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 29(2), pp. 239-285, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.11570, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Lucca Hirschi |
Symbolic Abstractions for Quantum Protocol Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.04186, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abate |
Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.03564, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Maximilian Gaukler, Tim Rheinfels, Peter Ulbrich, Günter Roppenecker |
Convergence Rate Abstractions for Weakly-Hard Real-Time Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.09871, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Yu Zhang 0064, Li Wang 0026 |
From Abstractions to "Natural Languages" for Planning Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.00517, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.00063, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin |
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.12135, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Nandita Vijaykumar |
Enhancing Programmability, Portability, and Performance with Rich Cross-Layer Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.05660, 2019. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.12071, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Tengfei Ma 0001, Jie Chen 0007 |
Unsupervised Learning of Graph Hierarchical Abstractions with Differentiable Coarsening and Optimal Transport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.11176, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1901.00348, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Pierre Ganty, Francesco Ranzato, Pedro Valero 0001 |
Complete Abstractions for Checking Language Inclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.01388, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.03121, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
|
|