Search results for "abstracting"

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.	FSKD (4)	2007	DBLP DOI BibTeX RDF
54	Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen	Time-Abstracting Bisimulation for Probabilistic Timed Automata.	TASE	2008	DBLP DOI BibTeX RDF	time-abstracting bisimulation, probabilistic timed automata
48	Maria Pinto	A grounded theory on abstracts quality: Weighting variables and attributes.	Scientometrics	2006	DBLP DOI BibTeX RDF
45	Rainer Lienhart	Abstracting home video automatically.	ACM Multimedia (2)	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.	SPIN	2008	DBLP DOI BibTeX RDF
29	Dieter Fensel	ServiceWeb 3.0.	Web Intelligence	2007	DBLP DOI BibTeX RDF
29	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Race checking by context inference.	PLDI	2004	DBLP DOI BibTeX RDF	software model checking, race conditions
29	John Miles Smith, Diane C. P. Smith	Principles of Database Conceptual Design.	Data Base Design Techniques I	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.	AFIPS National Computer Conference	1975	DBLP DOI BibTeX RDF
27	Charles E. Kahn	Effective Metadata Discovery for Dynamic Filtering of Queries to a Radiology Image Search Engine.	J. Digit. Imaging	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.	SIGIR	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.	ACM Symposium on Document Engineering	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.	ACM DL	1999	DBLP DOI BibTeX RDF	abstracting methods, multimodal video surrogates, browsing, cognitive processes, multimedia information systems
27		Automatic Abstracting.	Encyclopedia of Database Systems	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).	QSIC	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.	ICOST	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.	HPCA	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.	ICWS	2007	DBLP DOI BibTeX RDF
27	Graham Schelle, Dirk Grunwald	Abstracting Modern FCCMs To Provide a Single Interface to Architectural Resources.	FCCM	2007	DBLP DOI BibTeX RDF
27	Javier Minguez, Luis Montano, José Santos-Victor	Abstracting Vehicle Shape and Kinematic Constraints from Obstacle Avoidance Methods.	Auton. Robots	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.	WCRE	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.	ATVA	2006	DBLP DOI BibTeX RDF
27	Martin Pinzger 0001, Michael Fischer 0001, Mehdi Jazayeri, Harald C. Gall	Abstracting Module Views from Source Code.	ICSM	2004	DBLP DOI BibTeX RDF
27	Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener	Techniques for Abstracting SDL Specifications.	SAM	2002	DBLP DOI BibTeX RDF
27	Wesley T. Chuang, Douglas Stott Parker Jr.	Pyramidal Digest: An Efficient Model for Abstracting Text Databases.	DEXA	2001	DBLP DOI BibTeX RDF
27	Jan Jürjens	Abstracting from Failure Probabilities.	ACSD	2001	DBLP DOI BibTeX RDF
27	René Moreno	Abstracting Properties in Concurrent Constraint Programming.	LPAR	1999	DBLP DOI BibTeX RDF
27	Stavros Tripakis, Sergio Yovine	Analysis of Timed Systems Based on Time-Abstracting Bisimulation.	CAV	1996	DBLP DOI BibTeX RDF
27	Cristina Videira Lopes, Karl J. Lieberherr	Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications.	ECOOP	1994	DBLP DOI BibTeX RDF	adaptiveness, Concurrency, synchronization, object-orientation, reusability
27	Olivier Danvy, Andrzej Filinski	Abstracting Control.	LISP and Functional Programming	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).	ICDT	1988	DBLP DOI BibTeX RDF
27	H. P. Edmundson, R. E. Wyllys	Automatic abstracting and indexing - survey and recommendations.	Commun. ACM	1961	DBLP DOI BibTeX RDF
19	Kevin Waugh, David Schnizlein, Michael H. Bowling, Duane Szafron	Abstraction pathologies in extensive games.	AAMAS (2)	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.	IROS	2008	DBLP DOI BibTeX RDF
19	Christophe Philemotte, Hugues Bersini	A gestalt genetic algorithm: less details for better search.	GECCO	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.	SKG	2006	DBLP DOI BibTeX RDF
19	Miroslav N. Velev	Automatic Formal Verification of Liveness for Pipelined Processors with Multicycle Functional Units.	CHARME	2005	DBLP DOI BibTeX RDF
19	Haipeng Wang 0001, Xingshe Zhou 0001, Yong Zhang, Tao Zhang	Information Stream Oriented Content Adaptation for Pervasive Computing.	EEE	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.	ICATPN	2004	DBLP DOI BibTeX RDF
19	Ella E. Roubtsova	Property specification for coloured Petri nets.	SMC (3)	2004	DBLP DOI BibTeX RDF
19	Paulo Tabuada, George J. Pappas	Hybrid Abstractions that Preserve Timed Languages.	HSCC	2001	DBLP DOI BibTeX RDF
19	Silvana Castano, Valeria De Antonellis, Maria Grazia Fugini, Barbara Pernici	Conceptual Schema Analysis: Techniques and Applications.	ACM Trans. Database Syst.	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.	ICRE	1998	DBLP DOI BibTeX RDF
17	Sebastian Graf 0004, Simon Peyton Jones, Sven Keidel	Abstracting Denotational Interpreters.	CoRR	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.	CoRR	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.	Bildverarbeitung für die Medizin	2024	DBLP DOI BibTeX RDF
17	Iosif Apostolakis, Zeynep G. Saribatur, Johannes Peter Wallner	Abstracting Assumptions in Structured Argumentation.	AAMAS	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.	Future Internet	2023	DBLP DOI BibTeX RDF
17	Si-Ming Lian, Jian-Wei Liu	Abstracting Instance Information and Inter-Label Relations for Sparse Multi-Label Classification.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2023	DBLP DOI BibTeX RDF
17	Anna Sjödahl, Andreas Eckert	Abstracting and decomposing in a visual programming environment.	Int. J. Child Comput. Interact.	2023	DBLP DOI BibTeX RDF
17	Giannis Delimpaltadakis, Manuel Mazo 0002	Abstracting the Traffic of Nonlinear Event-Triggered Control Systems.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
17	Oscar Morris, Russell Morris	Automated Feedback Generation for a Chemistry Database and Abstracting Exercise.	CoRR	2023	DBLP DOI BibTeX RDF
17	Fan Shi, Bin Li 0015, Xiangyang Xue	Abstracting Concept-Changing Rules for Solving Raven's Progressive Matrix Problems.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
17	N. Suresh Kumar, G. Santhosh Kumar	Abstracting IoT protocols using timed process algebra and SPIN model checker.	Clust. Comput.	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.	Comput. Graph. Forum	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.	ICDM	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.	CDC	2023	DBLP DOI BibTeX RDF
17	Ilaria Bartolini, Marco Patella	From RAM3S to SPAF: Towards a Stream Processing Abstracting Framework.	SEBD	2023	DBLP BibTeX RDF
17	Ajay Jain, Amber Xie, Pieter Abbeel	VectorFusion: Text-to-SVG by Abstracting Pixel-Based Diffusion Models.	CVPR	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.	ICML	2023	DBLP BibTeX RDF
17	Till Hofmann, Vaishak Belle	Abstracting Noisy Robot Programs.	AAMAS	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.	Public Transp.	2022	DBLP DOI BibTeX RDF
17	Till Hofmann, Vaishak Belle	Abstracting Noisy Robot Programs.	CoRR	2022	DBLP DOI BibTeX RDF
17	Ajay Jain, Amber Xie, Pieter Abbeel	VectorFusion: Text-to-SVG by Abstracting Pixel-Based Diffusion Models.	CoRR	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.	CoRR	2022	DBLP DOI BibTeX RDF
17	Stephan Alaniz, Massimiliano Mancini, Anjan Dutta 0001, Diego Marcos, Zeynep Akata	Abstracting Sketches through Simple Primitives.	CoRR	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.	Sensors	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.	Sensors	2022	DBLP DOI BibTeX RDF
17	Fateme Teimouri, Kai-Florian Richter	Abstracting routes to their route-defining locations.	Comput. Environ. Urban Syst.	2022	DBLP DOI BibTeX RDF
17	Klaus Kammerer, Rüdiger Pryss, Manfred Reichert	Retrieving, Abstracting, and Changing Business Process Models with PQL.	Process Querying Methods	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.	HCI (9)	2022	DBLP DOI BibTeX RDF
17	Gabriel Poesia Reis e Silva, Noah D. Goodman	Left to the Reader: Abstracting Solutions in Mathematical Reasoning.	CogSci	2022	DBLP BibTeX RDF
17	Stephan Alaniz, Massimiliano Mancini, Anjan Dutta 0001, Diego Marcos, Zeynep Akata	Abstracting Sketches Through Simple Primitives.	ECCV (29)	2022	DBLP DOI BibTeX RDF
17	Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi	Abstracting Ontology-Driven Conceptual Models: Objects, Aspects, Events, and Their Parts.	RCIS	2022	DBLP DOI BibTeX RDF
17	Takuya Wada, Katsuhiro Naito	Proposal of an edge device framework for abstracting sensor and camera devices.	GCCE	2022	DBLP DOI BibTeX RDF
17	Yuki Hyodo, Takuto Sakuma, Shohei Kato	Abstracting Teammate With Multi-Agent DDPG Using Dual Encoders.	GCCE	2022	DBLP DOI BibTeX RDF
17	Emre Erdogan, Frank Dignum, Rineke Verbrugge, Pinar Yolum	Abstracting Minds: Computational Theory of Mind for Human-Agent Collaboration.	HHAI	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).		2022	RDF
17	Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia	Abstracting gradual typing moving forward: precise and space-efficient.	Proc. ACM Program. Lang.	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.	CoRR	2021	DBLP BibTeX RDF
17	Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr.	Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems.	CoRR	2021	DBLP BibTeX RDF
17	John Demme	Elastic Silicon Interconnects: Abstracting Communication in Accelerator Design.	CoRR	2021	DBLP BibTeX RDF
17	Manjula Wijewickrema	Authors' perception on abstracting and indexing databases in different subject domains.	Scientometrics	2021	DBLP DOI BibTeX RDF
17	Vitalii Demianiuk, Kirill Kogan, Antonio Fernández Anta	Abstracting Networks with Measurable Guarantees. (PDF / PS)	Networking	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.	IS-EUD	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.	CDC	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.	NDSS	2021	DBLP BibTeX RDF
17	Adrian Rebmann	Abstracting Low-level Event Data for Meaningful Process Analysis.	BPM (PhD/Demos)	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.	CoG	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.	ISM	2021	DBLP DOI BibTeX RDF
17	Leonid Schwenke, Martin Atzmueller	Abstracting Local Transformer Attention for Enhancing Interpretability on Time Series Data.	LWDA	2021	DBLP BibTeX RDF
17	Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Ana Ozaki	Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
17	Siming Lian, Jianwei Liu 0006	Abstracting Inter-instance Relations and Inter-label Correlation Simultaneously for Sparse Multi-label.	ICONIP (5)	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.	IEEE Trans. Netw. Serv. Manag.	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.	Supercomput. Front. Innov.	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.	CoRR	2020	DBLP BibTeX RDF
17	Avinash Kori, Parth Natekar, Ganapathy Krishnamurthi, Balaji Srinivasan	Abstracting Deep Neural Networks into Concept Graphs for Concept Level Interpretability.	CoRR	2020	DBLP BibTeX RDF
17	Kaiji Lu, Zifan Wang, Piotr Mardziel, Anupam Datta	Abstracting Influence Paths for Explaining (Contextualization of) BERT Models.	CoRR	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.	CoRR	2020	DBLP BibTeX RDF