Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
65 | Qinglin Guo, Cunbin Li |
The Research on the Application of Text Clustering and Natural Language Understanding in Automatic Abstracting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (4) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 4, pp. 92-96, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
54 | Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen |
Time-Abstracting Bisimulation for Probabilistic Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, pp. 177-184, 2008, IEEE Computer Society, 978-0-7695-3249-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
time-abstracting bisimulation, probabilistic timed automata |
48 | Maria Pinto |
A grounded theory on abstracts quality: Weighting variables and attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 69(2), pp. 213-226, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Rainer Lienhart |
Abstracting home video automatically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia (2) ![In: Proceedings of the 7th ACM International Conference on Multimedia '99, Orlando, FL, USA, October 30 - November 5, 1999, Part 2., pp. 37-40, 1999, ACM, 1-58113-239-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
text segmentation, video content analysis, video abstracting, text recognition, audio content analysis, shot clustering |
29 | Tonglaga Bao, Michael D. Jones |
Model Checking Abstract Components within Concrete Software Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings, pp. 42-59, 2008, Springer, 978-3-540-85113-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Dieter Fensel |
ServiceWeb 3.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2007 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2007, 2-5 November 2007, Silicon Valley, CA, USA, Main Conference Proceedings, 2007, IEEE Computer Society, 0-7695-3026-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Race checking by context inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004, pp. 1-13, 2004, ACM, 1-58113-807-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
software model checking, race conditions |
29 | John Miles Smith, Diane C. P. Smith |
Principles of Database Conceptual Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base Design Techniques I ![In: Data Base Design Techniques I: Requirements and Logical Structures, NYU Symposium, New York, USA, May 1978, Proceedings, pp. 114-146, 1978, Springer, 3-540-11214-6. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
CR Categories 3.65, 3.70, 4.22, 4.33, 4.34 |
29 | Toni Carbo Bearman |
nfais/FID world inventory of absteracting and indexing services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1975 National Computer Conference, 19-22 May 1975, Anaheim, CA, USA, pp. 963-968, 1975, AFIPS Press, 978-1-4503-7919-9. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
27 | Charles E. Kahn |
Effective Metadata Discovery for Dynamic Filtering of Queries to a Radiology Image Search Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 21(3), pp. 269-273, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
abstracting and indexing, Information retrieval, metadata, search engine, knowledge discovery, information filtering, image library |
27 | Xiaojun Wan 0001, Jianwu Yang |
CollabSum: exploiting multiple document clustering for collaborative single document summarizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2007: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Amsterdam, The Netherlands, July 23-27, 2007, pp. 143-150, 2007, ACM, 978-1-59593-597-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
abstracting methods, collabSum, collaborative summarization, graph-ranking algorithm, single document summarization |
27 | John McKechnie, Sameh Shaaban, Stephen Lockley |
Computer assisted processing of large unstructured document sets: a case study in the construction industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2001 ACM Symposium on Document Engineering, Atlanta, Georgia, USA, November 9-10, 2001, pp. 11-17, 2001, ACM. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
automated text categorisation, machine learning, classification, information visualization, abstracting, keyword extraction |
27 | Wei Ding, Gary Marchionini, Dagobert Soergel |
Multimodal Surrogates for Video Browsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM DL ![In: Proceedings of the Fourth ACM conference on Digital Libraries, August 11-14, 1999, Berkeley, CA, USA, pp. 85-93, 1999, ACM. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
abstracting methods, multimodal video surrogates, browsing, cognitive processes, multimedia information systems |
27 | |
Automatic Abstracting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 180, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Zhen Ming Jiang, Ahmed E. Hassan, Parminder Flora, Gilbert Hamann |
Abstracting Execution Logs to Execution Events for Enterprise Applications (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK, pp. 181-186, 2008, IEEE Computer Society, 978-0-7695-3312-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Log Abstraction, Monitoring, Dynamic Analysis, Clone |
27 | Jiten Chhabra, Jasjit Singh, Daniel Serrano-Baquero |
Abstracting Nutritional Information of Food Service Facilities Using the Pervasive Healthy Diet Adviser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOST ![In: Smart Homes and Health Telematics, 6th International Conference, ICOST 2008, Ames, IA, USA, June 28-July 2, 2008, Proceedings, pp. 113-122, 2008, Springer, 978-3-540-69914-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Peripheral ambient display, Preventive Medicine, Nutritional Information, primary healthcare, ubiquitous computing |
27 | Nathan Clark, Amir Hormati, Sami Yehia, Scott A. Mahlke, Krisztián Flautner |
Liquid SIMD: Abstracting SIMD Hardware using Lightweight Dynamic Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: 13st International Conference on High-Performance Computer Architecture (HPCA-13 2007), 10-14 February 2007, Phoenix, Arizona, USA, pp. 216-227, 2007, IEEE Computer Society, 1-4244-0804-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Kouichi Ono, Yuichi Nakamura 0003, Fumiko Satoh, Takaaki Tateishi |
Verifying the Consistency of Security Policies by Abstracting into Security Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, pp. 497-504, 2007, IEEE Computer Society, 0-7695-2924-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Graham Schelle, Dirk Grunwald |
Abstracting Modern FCCMs To Provide a Single Interface to Architectural Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2007, 23-25 April 2007, Napa, California, USA, pp. 305-308, 2007, IEEE Computer Society, 0-7695-2940-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Javier Minguez, Luis Montano, José Santos-Victor |
Abstracting Vehicle Shape and Kinematic Constraints from Obstacle Avoidance Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 20(1), pp. 43-59, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
sensor-based navigation, mobile robots, collision avoidance, obstacle avoidance |
27 | Markku Laitkorpi, Johannes Koskinen, Tarja Systä |
A UML-based Approach for Abstracting Application Interfaces to REST-like Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 13th Working Conference on Reverse Engineering (WCRE 2006), 23-27 October 2006, Benevento, Italy, pp. 134-146, 2006, IEEE Computer Society, 0-7695-2719-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie |
Timed Temporal Logics for Abstracting Transient States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006., pp. 337-351, 2006, Springer, 3-540-47237-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Martin Pinzger 0001, Michael Fischer 0001, Mehdi Jazayeri, Harald C. Gall |
Abstracting Module Views from Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 20th International Conference on Software Maintenance (ICSM 2004), 11-17 September 2004, Chicago, IL, USA, pp. 533, 2004, IEEE Computer Society, 0-7695-2213-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener |
Techniques for Abstracting SDL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers, pp. 141-157, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Wesley T. Chuang, Douglas Stott Parker Jr. |
Pyramidal Digest: An Efficient Model for Abstracting Text Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 12th International Conference, DEXA 2001 Munich, Germany, September 3-5, 2001, Proceedings, pp. 360-369, 2001, Springer, 3-540-42527-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Jan Jürjens |
Abstracting from Failure Probabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 25-30 June 2001, Newcastle upon Tyne, UK, pp. 53-, 2001, IEEE Computer Society, 0-7695-1071-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | René Moreno |
Abstracting Properties in Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings, pp. 223-237, 1999, Springer, 3-540-66492-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Stavros Tripakis, Sergio Yovine |
Analysis of Timed Systems Based on Time-Abstracting Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings, pp. 232-243, 1996, Springer, 3-540-61474-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Cristina Videira Lopes, Karl J. Lieberherr |
Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994, pp. 81-99, 1994, Springer, 3-540-58202-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
adaptiveness, Concurrency, synchronization, object-orientation, reusability |
27 | Olivier Danvy, Andrzej Filinski |
Abstracting Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, Nice, France, 27-29 June 1990., pp. 151-160, 1990, ACM, 0-89791-368-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Katsumi Tanaka, Masatoshi Yoshikawa |
Towards Abstracting Complex Database Objects: Generalization, Reduction and Unification of Set-type Objects (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31 - September 2, 1988, Proceedings, pp. 252-266, 1988, Springer, 3-540-50171-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
27 | H. P. Edmundson, R. E. Wyllys |
Automatic abstracting and indexing - survey and recommendations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 4(5), pp. 226-234, 1961. The full citation details ...](Pics/full.jpeg) |
1961 |
DBLP DOI BibTeX RDF |
|
19 | Kevin Waugh, David Schnizlein, Michael H. Bowling, Duane Szafron |
Abstraction pathologies in extensive games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 781-788, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
game theory, abstraction, equilibrium, pathologies |
19 | Wataru Takano, Akihiro Matsushita, Keijiro Iwao, Yoshihiko Nakamura |
Recognition of human driving behaviors based on stochastic symbolization of time series signal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 167-172, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Christophe Philemotte, Hugues Bersini |
A gestalt genetic algorithm: less details for better search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 1328-1334, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
genetic algorithm, traveling salesman problem, gestalt |
19 | Ke Xu, Yuexuan Wang, Cheng Wu |
Service Provenance based Abstraction of Grid Application Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKG ![In: 2006 International Conference on Semantics, Knowledge and Grid (SKG 2006), 1-3 November 2006, Guilin, China, pp. 50, 2006, IEEE Computer Society, 0-7695-2673-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Miroslav N. Velev |
Automatic Formal Verification of Liveness for Pipelined Processors with Multicycle Functional Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings, pp. 97-113, 2005, Springer, 3-540-29105-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Haipeng Wang 0001, Xingshe Zhou 0001, Yong Zhang, Tao Zhang |
Information Stream Oriented Content Adaptation for Pervasive Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EEE ![In: 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March - 1 April 2005, Hong Kong, China, pp. 674-679, 2005, IEEE Computer Society, 0-7695-2274-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | João Paulo Barros, Luís Gomes 0001 |
On the Use of Coloured Petri Nets for Object-Oriented Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings, pp. 117-136, 2004, Springer, 3-540-22236-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Ella E. Roubtsova |
Property specification for coloured Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (3) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 2617-2622, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Paulo Tabuada, George J. Pappas |
Hybrid Abstractions that Preserve Timed Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings, pp. 501-514, 2001, Springer, 3-540-41866-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Silvana Castano, Valeria De Antonellis, Maria Grazia Fugini, Barbara Pernici |
Conceptual Schema Analysis: Techniques and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 23(3), pp. 286-332, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
reference components, schema classification, schema similarity, conceptual modeling |
19 | Francis Schneider, Steve M. Easterbrook, John R. Callahan, Gerard J. Holzmann |
Validating Requirements for Fault Tolerant Systems using Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRE ![In: 3rd International Conference on Requirements Engineering (ICRE '98), Putting Requirements Engineering to Practice, April 6-10, 1998, Colorado Springs, CO, USA, Proceedings, pp. 4-13, 1998, IEEE Computer Society, 0-8186-8356-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Sebastian Graf 0004, Simon Peyton Jones, Sven Keidel |
Abstracting Denotational Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.02778, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Geonhwa Jeong, Po-An Tsai, Abhimanyu Rajeshkumar Bambhaniya, Stephen W. Keckler, Tushar Krishna |
Abstracting Sparse DNN Acceleration via Structured Sparse Tensor Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.07953, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Paul Kaftan, Mattias P. Heinrich, Lasse Hansen, Volker Rasche, Hans A. Kestler, Alexander Bigalke |
Abstracting Volumetric Medical Images with Sparse Keypoints for Efficient Geometric Segmentation of Lung Fissures with a Graph CNN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin 2024 - Proceedings, German Conference on Medical Image Computing, Erlangen, March 10-12, 2024, pp. 60-65, 2024, Springer, 978-3-658-44036-7. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Iosif Apostolakis, Zeynep G. Saribatur, Johannes Peter Wallner |
Abstracting Assumptions in Structured Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024, pp. 2132-2134, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
17 | Leny Vinceslas, Safak Dogan, Srikumar Sundareshwar, Ahmet M. Kondoz |
Abstracting Data in Distributed Ledger Systems for Higher Level Analytics and Visualizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Internet ![In: Future Internet 15(1), pp. 33, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Si-Ming Lian, Jian-Wei Liu |
Abstracting Instance Information and Inter-Label Relations for Sparse Multi-Label Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. ![In: Int. J. Uncertain. Fuzziness Knowl. Based Syst. 31(1), pp. 25-55, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Anna Sjödahl, Andreas Eckert |
Abstracting and decomposing in a visual programming environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Child Comput. Interact. ![In: Int. J. Child Comput. Interact. 36, pp. 100573, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Giannis Delimpaltadakis, Manuel Mazo 0002 |
Abstracting the Traffic of Nonlinear Event-Triggered Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(6), pp. 3744-3751, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Oscar Morris, Russell Morris |
Automated Feedback Generation for a Chemistry Database and Abstracting Exercise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.18319, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Fan Shi, Bin Li 0015, Xiangyang Xue |
Abstracting Concept-Changing Rules for Solving Raven's Progressive Matrix Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.07734, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Samuel Sokota, Ryan D'Orazio, Chun Kai Ling, David J. Wu 0002, J. Zico Kolter, Noam Brown |
Abstracting Imperfect Information Away from Two-Player Zero-Sum Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.09159, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | N. Suresh Kumar, G. Santhosh Kumar |
Abstracting IoT protocols using timed process algebra and SPIN model checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 26(2), pp. 1611-1629, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Cedric Krause, Shivam Agarwal, Michael Burch, Fabian Beck 0001 |
Visually Abstracting Event Sequences as Double Trees Enriched with Category-Based Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 42(6), September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Liang Yang 0002, Jiayi Wang, Dongxiao He, Chuan Wang, Xiaochun Cao, Bingxin Niu, Zhen Wang 0004 |
Graph Reciprocal Neural Networks by Abstracting Node as Attribute. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: IEEE International Conference on Data Mining, ICDM 2023, Shanghai, China, December 1-4, 2023, pp. 1463-1468, 2023, IEEE, 979-8-3503-0788-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert |
Abstracting Linear Stochastic Systems via Knowledge Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 3049-3054, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Ilaria Bartolini, Marco Patella |
From RAM3S to SPAF: Towards a Stream Processing Abstracting Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Proceedings of the 31st Symposium of Advanced Database Systems, Galzingano Terme, Italy, July 2nd to 5th, 2023., pp. 32-40, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
17 | Ajay Jain, Amber Xie, Pieter Abbeel |
VectorFusion: Text-to-SVG by Abstracting Pixel-Based Diffusion Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2023, Vancouver, BC, Canada, June 17-24, 2023, pp. 1911-1920, 2023, IEEE, 979-8-3503-0129-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Samuel Sokota, Ryan D'Orazio, Chun Kai Ling, David J. Wu 0002, J. Zico Kolter, Noam Brown |
Abstracting Imperfect Information Away from Two-Player Zero-Sum Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 32169-32193, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
17 | Till Hofmann, Vaishak Belle |
Abstracting Noisy Robot Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, pp. 534-542, 2023, ACM, 978-1-4503-9432-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
17 | Fabio Kon, Éderson Cássio Ferreira, Higor Amario de Souza, Fábio Duarte, Paolo Santi, Carlo Ratti |
Abstracting mobility flows from bike-sharing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Transp. ![In: Public Transp. 14(3), pp. 545-581, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Till Hofmann, Vaishak Belle |
Abstracting Noisy Robot Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.03536, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Ajay Jain, Amber Xie, Pieter Abbeel |
VectorFusion: Text-to-SVG by Abstracting Pixel-Based Diffusion Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.11319, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Ailisi Li, Xueyao Jiang, Bang Liu, Jiaqing Liang, Yanghua Xiao |
Tackling Math Word Problems with Fine-to-Coarse Abstracting and Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.08274, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Stephan Alaniz, Massimiliano Mancini, Anjan Dutta 0001, Diego Marcos, Zeynep Akata |
Abstracting Sketches through Simple Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.13543, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Edgar Saavedra, Laura Mascaraque, Gonzalo Calderon, Guillermo del Campo, Asunción Santamaria |
A Universal Testbed for IoT Wireless Technologies: Abstracting Latency, Error Rate and Stability from the IoT Protocol and Hardware Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(11), pp. 4159, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Zhuofei Wu, Stefania Bartoletti, Vincent Martinez, Alessandro Bazzi |
A Methodology for Abstracting the Physical Layer of Direct V2X Communications Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(23), pp. 9330, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Fateme Teimouri, Kai-Florian Richter |
Abstracting routes to their route-defining locations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Environ. Urban Syst. ![In: Comput. Environ. Urban Syst. 91, pp. 101732, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Klaus Kammerer, Rüdiger Pryss, Manfred Reichert |
Retrieving, Abstracting, and Changing Business Process Models with PQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Process Querying Methods ![In: Process Querying Methods, pp. 219-254, 2022, Springer, 978-3-030-92874-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Taylor Gabatino, Michael-Brian C. Ogawa, Martha E. Crosby |
Abstracting the Understanding and Application of Cognitive Load in Computational Thinking and Modularized Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (9) ![In: Augmented Cognition - 16th International Conference, AC 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, pp. 273-286, 2022, Springer, 978-3-031-05456-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Gabriel Poesia Reis e Silva, Noah D. Goodman |
Left to the Reader: Abstracting Solutions in Mathematical Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 44th Annual Meeting of the Cognitive Science Society, CogSci 2022, Toronto, ON, Canada, July 27-30, 2022, 2022, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
17 | Stephan Alaniz, Massimiliano Mancini, Anjan Dutta 0001, Diego Marcos, Zeynep Akata |
Abstracting Sketches Through Simple Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (29) ![In: Computer Vision - ECCV 2022 - 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXIX, pp. 396-412, 2022, Springer, 978-3-031-19817-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi |
Abstracting Ontology-Driven Conceptual Models: Objects, Aspects, Events, and Their Parts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCIS ![In: Research Challenges in Information Science - 16th International Conference, RCIS 2022, Barcelona, Spain, May 17-20, 2022, Proceedings, pp. 372-388, 2022, Springer, 978-3-031-05759-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Takuya Wada, Katsuhiro Naito |
Proposal of an edge device framework for abstracting sensor and camera devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCCE ![In: 11th IEEE Global Conference on Consumer Electronics, GCCE 2022, Osaka, Japan, October 18-21, 2022, pp. 228-231, 2022, IEEE, 978-1-6654-9232-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Yuki Hyodo, Takuto Sakuma, Shohei Kato |
Abstracting Teammate With Multi-Agent DDPG Using Dual Encoders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCCE ![In: 11th IEEE Global Conference on Consumer Electronics, GCCE 2022, Osaka, Japan, October 18-21, 2022, pp. 842-844, 2022, IEEE, 978-1-6654-9232-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Emre Erdogan, Frank Dignum, Rineke Verbrugge, Pinar Yolum |
Abstracting Minds: Computational Theory of Mind for Human-Agent Collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HHAI ![In: HHAI 2022: Augmenting Human Intellect - Proceedings of the First International Conference on Hybrid Human-Artificial Intelligence, Amsterdam, The Netherlands, 13-17 June 2022., pp. 199-211, 2022, IOS Press, 978-1-64368-308-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Julien Braine |
The Data-abstraction Framework: abstracting unbounded data-structures in Horn clauses, the case of arrays. (La Méthode Data-abstraction: une technique d'abstraction de structures de données non-bornées dans des clauses de Horn, le cas des tableaux). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
17 | Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia |
Abstracting gradual typing moving forward: precise and space-efficient. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 5(POPL), pp. 1-28, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Leny Vinceslas, Hirsh Pithadia, Safak Dogan, Srikumar Sundareshwar, Ahmet M. Kondoz |
Abstracting data in distributed ledger systems for higher level analytics and visualizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.10133, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr. |
Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.13839, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | John Demme |
Elastic Silicon Interconnects: Abstracting Communication in Accelerator Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.06584, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Manjula Wijewickrema |
Authors' perception on abstracting and indexing databases in different subject domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 126(4), pp. 3063-3089, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Vitalii Demianiuk, Kirill Kogan, Antonio Fernández Anta |
Abstracting Networks with Measurable Guarantees. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: IFIP Networking Conference, IFIP Networking 2021, Espoo and Helsinki, Finland, June 21-24, 2021, pp. 1-3, 2021, IEEE, 978-3-9031-7639-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello |
Devices, Information, and People: Abstracting the Internet of Things for End-User Personalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS-EUD ![In: End-User Development - 8th International Symposium, IS-EUD 2021, Virtual Event, July 6-8, 2021, Proceedings, pp. 71-86, 2021, Springer, 978-3-030-79839-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo 0002 |
Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021, pp. 1287-1294, 2021, IEEE, 978-1-6654-3659-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Jun Zeng, Zheng Leong Chua, Yinfang Chen, Kaihang Ji, Zhenkai Liang, Jian Mao |
WATSON: Abstracting Behaviors from Audit Logs via Aggregation of Contextual Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDSS ![In: 28th Annual Network and Distributed System Security Symposium, NDSS 2021, virtually, February 21-25, 2021, 2021, The Internet Society. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Adrian Rebmann |
Abstracting Low-level Event Data for Meaningful Process Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM (PhD/Demos) ![In: Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2021 co-located with 19th International Conference on Business Process Management (BPM 2021), Rome, Italy, September 6th - to - 10th, 2021., pp. 38-42, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Alexander Dockhorn, Jorge Hurtado Grueso, Dominik Jeurissen, Linjie Xu, Diego Perez Liebana |
Game State and Action Abstracting Monte Carlo Tree Search for General Strategy Game-Playing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoG ![In: 2021 IEEE Conference on Games (CoG), Copenhagen, Denmark, August 17-20, 2021, pp. 1-8, 2021, IEEE, 978-1-6654-3886-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Michael Mayr, Sabrina Luftensteiner, Georgios C. Chasparis |
Abstracting Process Mining Event Logs From Process-State Data To Monitor Control-Flow Of Industrial Manufacturing Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISM ![In: Proceedings of the 3rd International Conference on Industry 4.0 and Smart Manufacturing (ISM 2022), Virtual Event / Upper Austria University of Applied Sciences - Hagenberg Campus - Linz, Austria, 17-19 November 2021., pp. 1442-1450, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Leonid Schwenke, Martin Atzmueller |
Abstracting Local Transformer Attention for Enhancing Interpretability on Time Series Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LWDA ![In: Proceedings of the LWDA 2021 Workshops: FGWM, KDML, FGWI-BIA, and FGIR, Online, September 1-3, 2021., pp. 205-218, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Ana Ozaki |
Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Siming Lian, Jianwei Liu 0006 |
Abstracting Inter-instance Relations and Inter-label Correlation Simultaneously for Sparse Multi-label. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (5) ![In: Neural Information Processing - 28th International Conference, ICONIP 2021, Sanur, Bali, Indonesia, December 8-12, 2021, Proceedings, Part V, pp. 81-88, 2021, Springer, 978-3-030-92306-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Geissler, Stefan Herrnleben, Robert Bauer 0002, Alexej Grigorjew, Thomas Zinner, Michael Jarschel |
The Power of Composition: Abstracting a Multi-Device SDN Data Path Through a Single API. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Netw. Serv. Manag. ![In: IEEE Trans. Netw. Serv. Manag. 17(2), pp. 722-735, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Johannes Hofmann 0001, Christie L. Alappat, Georg Hager, Dietmar Fey, Gerhard Wellein |
Bridging the Architecture Gap: Abstracting Performance-Relevant Properties of Modern Server Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Supercomput. Front. Innov. ![In: Supercomput. Front. Innov. 7(2), pp. 54-78, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia |
Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.14094, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Avinash Kori, Parth Natekar, Ganapathy Krishnamurthi, Balaji Srinivasan |
Abstracting Deep Neural Networks into Concept Graphs for Concept Level Interpretability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.06457, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Kaiji Lu, Zifan Wang, Piotr Mardziel, Anupam Datta |
Abstracting Influence Paths for Explaining (Contextualization of) BERT Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.00740, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Jana Cavojská, Julian Petrasch, Nicolas J. Lehmann, Agnès Voisard, Peter Böttcher |
Estimating and abstracting the 3D structure of bones using neural networks on X-ray (2D) images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.11499, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|